GIC interrupt numbering incorrect when using zc706 board
I have noticed a problem with GIC interrupt numbering when generating a Petalinux (v2015.2.1) project from an HDF. The HDF file was generated with Vivado (v2015.2.1) having selected the zc706 board. The design has an AXI UARTLlite implemented with the interrupt connected to IQR F2P port 0. The pl.dtsi entry generated by Petalinux shows the interrupt at 91 (59+32=91), not the expected 61 (29+32=61). I have corrected the interrupt number with an entry in system-top.dts. When I implement the same design on a Zedboard the interrupt is correctly numbered as 61. The rest of the pl.dtsi entry for the axi_uartlite is the same.
This numbering problem is consistent for all PL interrupts. I am now trying to add an axi_iic device and the interrupt is also incorrect and it seems to be interferirng with the axi_uartlite implementation. I am unable to receive the uartlite interrupts with the axi_iic in the design.
Are there know problems with the zc706 board files?
Are there any updated files (contraints, etc) for the zc706?