[Bug 530510] hrtimer_start_range_ns (tick_sched_timer) causes 400 wakeups