Tool to generate the BOOT.BIN file for Xilinx Zynq processors