[PATCH] fix next_timer_interrupt() for hrtimer

No match.