Merge branch 'devkit_uboot_script' into 'master'

Devkit uboot script

See merge request !68
1 job for master
in 13 seconds, using 0.0 compute credits, and was queued for 0 seconds