gerrit-public.fairphone.software / kernel / msm-5.4 / 9b1c59e256e91aaf2a6543b32afc3658d8f96d4b / arch / powerpc / boot / ppcboot.h