[PATCH RFC 0/7] HDMI audio support for Exynos Odroid boards