gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / a2e3a1d86c17b457056a4b65d8c045d98a75ba0f / board / technologic / ts4800 / ts4800.h