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