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