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