gerrit-public.fairphone.software / kernel / msm-4.19 / faab83bbcd9e001077e42a7c085f1e871997647f / arch / arm / mach-clps711x / Makefile.boot