[PATCH 09/23] KVM: arm64: Avoid storing the vcpu pointer on the stack