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