Linux kernel packages rebuilt with Xen PVH support
sed -i 's|# CONFIG_XEN_PVH is not set|CONFIG_XEN_PVH=y|' config-x86_64-generic
This is a companion discussion topic for the original entry at https://copr.fedorainfracloud.org/coprs/lantw44/kernel-pvh/