[PATCH v13 00/21] KVM: xen: update shared_info and vcpu_info handling