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