kernel, drivers: Fix gcc2 build
scheduler: Update CPU disabling code to match recent changes
scheduler, kernel/util: Fix style issues
scheduler: Allow mode to specify time slice length