[PATCH v4 03/10] dts: exynos4412-odroid*: enable the HDMI CEC device