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