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