# CONFIG_XEN_BALLOON_MEMORY_HOTPLUG is not set