Re: [PATCH OLK-6.6] KVM: arm64: Check whether GICv4.0 is enabled