gerrit.cesnet.cz / github / trini / u-boot / refs/heads/WIP/2021-07-26-build-improvements / . / tools / microcode-tool