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