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