hw/arm/xilinx_zynq: Use the ARRAY_SIZE macro