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