defconfigs: Enable SCHED_MC

To make use of more ARM CPU topology functions