gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / 6525d51fa5790727c04c4883341bc8f58f8e3bb3 / board / karo / tx25 / lowlevel_init.S