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