The dequeue_patch function in kernel/sched.c is complicated by 
including a sleep parameter.  This parameter is always zero 
except in one instance.  This patch clarifies the task of 
dequeue_patch by removing the sleep parameter and moving the 
code that handles non-zero sleep to that one place where it is 
needed.