gerrit-public.fairphone.software / kernel / msm-4.19 / ea04683f592e6200b52e191b7e2842aedcfd88b6 / arch / arm / mach-h720x / Kconfig