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