A single scheduler fix:

 - Prevent a double enqueue caused by rt_effective_prio() being invoked
   twice in __sched_setscheduler().