gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / 103c5f180694024519a4af606497b8f1ee9903c0 / drivers / cpu / mpc83xx_cpu.h