[PATCH 170/415] sched_ext: Minor cleanups in kernel/sched/ext.h