xen/pvhvm: fix build problem when !CONFIG_XEN