gerrit-public.fairphone.software / kernel / msm-4.19 / 0b443ead714f0cba797a7f2476dd756f22b5421e / arch / powerpc / boot / planetcore.c