# CONFIG_HOTPLUG_CORE_SYNC is not set
