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