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