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