Re: [PATCH v12 00/20] KVM: xen: update shared_info and vcpu_info handling