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