[PATCH 6.12 109/189] sched_ext: switch class when preempted by higher priority scheduler