gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / 4284f36a3e7d534b533ce733e088f226c3eda733 / board / karo / tx25 / config.mk