gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / 28c665d4d5706eeb63861b4417d992c38d15d081 / board / st-ericsson / u8500 / prcmu.c