[PATCH] Fix cascade lookup of next_timer_interrupt