Fix boot-time warning in tick_setup_device().

Signed-off-by: Ingo Molnar <mingo@kernel.org>