Re: [PATCH v1 OLK-5.10 0/3] KVM: arm64: Workaround firmware wrongly advertising GICv2-on-v3 compatibility