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