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