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