gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / 9c46f0344e068c763724449dbde4415658d8d59d / include / configs / dockstar.h