# CONFIG_HOTPLUG_CORE_SYNC_DEAD is not set
