gerrit-public.fairphone.software / kernel / msm-4.9 / 7b68b2f71497a611755a490c3dad25c32f506cdf / arch / powerpc / boot / redboot-83xx.c