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