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