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