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