Re: [PATCHv14 02/18] dts: exynos4: add node for the HDMI CEC device