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