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