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