Improve pick_next_highest_task_rt