[PATCH 4.9 51/66] KVM: arm64: Avoid storing the vcpu pointer on the stack