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