Switched to Xilinx API for DMA and GIC.