Scripts to create a boot.bin file for linux on Xilinx Zync