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