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

Signed-off-by: nobodyAtall <tsogkas@ceid.upatras.gr>
Signed-off-by: garwedgess <garethwilliams21@gmail.com>