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