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