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