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