gerrit-public.fairphone.software / fp2-dev / kernel / msm / c89681ed7d0e4a61d35bdc12c06c6733b718b2cb / include / asm-ppc / bootx.h