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