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