[PATCH v12 12/20] KVM: xen: allow vcpu_info to be mapped by fixed HVA