gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / 9de35448580020b526b6e5a8b538a59a64c72f0e / scripts / Kconfig.include