CONFIG_XEN_AUTO_XLATE=y
