AXI tracing from JTAG on Zynq now works!