[PATCH 337/415] sched_ext: switch class when preempted by higher priority scheduler