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