[PATCH 03/11] KVM: SVM: adjust register allocation for __svm_vcpu_run