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