gerrit.cesnet.cz / github / trini / u-boot / 8b52f237f0f8ae63c930fa8459c39ab87367bad1 / . / tools / microcode-tool