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