xen: introduce xen_vcpu_id mapping