gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / 2468592d79891fea4f39d0a414c7316f3af03f4c / board / esd / du440 / config.mk