[PATCH v4 7/9] ARM: dts: Exynos: add 'hdmi' clock to mixer nodes