# CONFIG_MEMORY_HOTPLUG is not set