x86_hyper_xen_hvm is only defined when Xen is enabled in the kernel
config.
Signed-off-by: Jeremy Fitzhardinge <jeremy.fitzhardinge@citrix.com>