CONFIG_XEN_PV=y