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