gerrit-public.fairphone.software / kernel / msm-4.9 / 4536b937466ff6784d2a9a4bebde924a0d6e01cb / arch / powerpc / boot / cuboot-85xx.c