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