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