[PATCH 255/415] sched_ext: Build fix for !CONFIG_SMP