[WRONG] KVM: arm/arm64: vgic: fix off-by-one bug in vgic_get_irq()