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