# CONFIG_ACPI_HOTPLUG_MEMORY is not set
