1699949d3314 ("sched: Fix a stale comment in pick_next_task()")