[PATCH 86/87] KVM: arm/arm64: vgic: Use a single IO device per redistributor