x86/xen: enable PVHVM-only builds