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