Reverted changes to kernel/sched.c in order to make the kernel boot