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