gerrit.cesnet.cz / github / trini / u-boot / 6509c3fe1c7dddf1d598a9fd8234ed760b3a428b / . / tools / microcode-tool