# CONFIG_HOTPLUG_SMT is not set
