gerrit-public.fairphone.software / kernel / msm-4.19 / 6bbdbf2f95771c0a2dbccc423b99b37fde9a5078 / arch / arm / mach-rpc / Makefile.boot