next_timer_interrupt() must check for when timer ISR is due to wake up the softlockup thread. Signed-off-by: Kevin Tian <kevin.tian@intel.com> Signed-off-by: Keir Fraser <keir@xensource.com>