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