Support for running as a PVH guest

modulename: enlighten_pvh.ko

and/or

xen-pvh.ko

configname: CONFIG_XEN_PVH

Linux Kernel Configuration
└─>Support for running as a PVH guest
In linux kernel since version 3.10 (release Date: 2013-06-30)  
source code:
arch/x86/xen/enlighten_pvh.c
selects

CONFIG_PVH