50605ffbdaf6 ("sched/core: Provide a tsk_nr_cpus_allowed() helper")