gerrit.cesnet.cz / github / trini / u-boot / 6622c30f2e033eb4268720c1927a52062406f870 / . / tools / microcode-tool