[Linaro-open-discussions] [RFC Patch v2 4/4] sched: Add boot time enabling/disabling of cluster scheduling