CONFIG_XEN_MAX_DOMAIN_MEMORY=128
