Re: [PATCHv14 01/18] dts: exynos4*: add HDMI CEC pin definition to pinctrl