File disable-building-pv-shim.patch of Package xen.25151
--- xen-4.13.0-testing/xen/arch/x86/configs/pvshim_defconfig.orig 2019-10-14 09:46:44.567846243 -0600 +++ xen-4.13.0-testing/xen/arch/x86/configs/pvshim_defconfig 2019-10-14 09:47:17.722552005 -0600 @@ -2,8 +2,8 @@ CONFIG_PV=y CONFIG_XEN_GUEST=y CONFIG_PVH_GUEST=y -CONFIG_PV_SHIM=y -CONFIG_PV_SHIM_EXCLUSIVE=y +CONFIG_PV_SHIM=n +CONFIG_PV_SHIM_EXCLUSIVE=n CONFIG_NR_CPUS=32 # Disable features not used by the PV shim # CONFIG_SHADOW_PAGING is not set