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