clean up pick_next_highest_task_rt().

Signed-off-by: Ingo Molnar <mingo@elte.hu>