Re: [PATCH V3 3/6] sched: idle: Get the next timer event and pass it the cpuidle framework