CONFIG_XEN_BALLOON_MEMORY_HOTPLUG=y
