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