Re: [PATCH 1/4] sched/idle: Fix missing need_resched() check after rcu_idle_enter()