# CONFIG_XEN_BALLOON is not set