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