x86/xen: use xen_vcpu_id mapping when pointing vcpu_info to shared_info