gerrit-public.fairphone.software / kernel / msm-4.9 / 418b2e56b8a61ea85f7a9c5d327e1a2c61d1b2db / include / asm-ppc / bootx.h