U-boot BSP generator for Xilinx SDK