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