u-boot-xarm from xilinx git repo with Digilent additions - View it on GitHub