gerrit-public.fairphone.software / kernel / msm-4.9 / 3eff851b9dc1e84aa0822772e0be9afb0c973585 / arch / arm / mach-versatile / Makefile.boot