defconfig: Get CPU hotplugging properly.