gerrit.cesnet.cz / github / trini / u-boot / 3faeb78378ea32922fbd00e9ddf675ce0aa526a3 / . / tools / microcode-tool