Linux UIO Driver for the Zynq AXI4Lite interface