dev, arm: Fix incorrect GIC address range sizes