[PATCH v5 06/10] arm/arm64: kvm: Set vcpu->cpu to -1 on vcpu_put