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