gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / 4d38460b438fb18f17635e4bda0f0829074599e8 / . / tools / microcode-tool