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