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