gerrit.cesnet.cz / github / trini / u-boot / 246e3b87870aaa774769267012f624757f28d873 / board / imgtec / malta / flash-malta-boot.tcl