CONFIG_HOTPLUG_SMT=y
