Adds missing interrupts to device tree for zynq. Closes #171

20 jobs for 172-corestats-don-t-work-with-alternative-coredir in 6 minutes and 52 seconds (queued for 3 seconds)