manually applied patches for kernel/sched.c