gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / fc84a8495ac750f6b4adae81f8c4f100f65b6340 / board / actux3 / actux3_hw.h