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