Re: [PATCH v3 46/76] samsung: Rename PINCTRL_EXYNOS78x0