xen64: fix !HVC_XEN build dependency