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