Re: [PATCH 2/4] cpuidle: Fix missing need_resched() check after rcu_idle_enter()