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