# CONFIG_ARCH_ENABLE_MEMORY_HOTREMOVE is not set
