AXI4-Lite FPGA interface, docs, and util generator