Scheduler is now selectable in make menuconfig in kernel hacking.