gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / 1bde67b1f492cbb0177241a56af59f706d45fccf / . / tools / microcode-tool