zedboard / xilinx zynq linux drivers for AXI DMA and char devices that are memory-mapped