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