gerrit-public.fairphone.software / kernel / msm-4.9 / 4719d8f9356a9ea8287ebdac04d759482524e67c / arch / arm / boot / dts / exynos4415-pinctrl.dtsi