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