x86/xen: use xen_vcpu_id mapping for HYPERVISOR_vcpu_op