[PATCH] fix next_timer_interrupt() for hrtimer