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