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