Update uboot-set-dev.sh

Fix formatting.