[Arm-dev] [PATCH v1 26/87] KVM: arm/arm64: make GIC frame address initialization model specific