Re: [PATCH v2] KVM: arm64: Make vcpu flag updates non-preemptible