sched/rt: Improve pick_next_highest_task_rt()