Re: [PATCH v2 4/8] KVM: SVM: retrieve VMCB from assembly