defconfig: reenable multi-core scheduler support.