arm: xlnx-zynqmp: Fix up GIC region size