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