CONFIG_SCHEDULER_FASTER = n