CONFIG_XEN_PV_MSR_SAFE=y
