# CONFIG_MEMORY_HOTREMOVE is not set