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