[RFC PATCH 06/13] KVM: arm64: Resolve race between vCPU scheduling and vLPI enablement