gerrit.cesnet.cz / github / trini / u-boot / 6afb4fe2a0a72a6930853945b3328cc65d4d5a96 / . / tools / microcode-tool