uboot from digilent for kernel v3.6