corrections for build-uboot.sh