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