sched: clean up pick_next_highest_task_rt()