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