# CONFIG_ARCH_ENABLE_MEMORY_HOTPLUG is not set
