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