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