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