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