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