Re: [PATCH 2/5] sched: idle: Get the next timer event and pass it the cpuidle framework