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