Re: [PATCH 04/11] KVM: SVM: retrieve VMCB from assembly