arm: make the number of GIC interrupts configurable