7e406d1ff39b ("sched: Avoid double preemption in __cond_resched_*lock*()")