gerrit.cesnet.cz / github / trini / u-boot / 7fff91ffc0d7517dd8b3e5fc8289c380638770e2 / . / tools / microcode-tool