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