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