gerrit.cesnet.cz / github / trini / u-boot / 6583505c23207e25a1b736aeaf207122d468d671 / . / tools / microcode-tool