from 3.x: sched/rt: Improve pick_next_highest_task_rt() Quarx2k