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