/include/config/HOTPLUG_SMT