u-boot-xarm from xilinx git repo with Digilent additions