[PATCH 1/1] drm/exynos: Fix build error in exynos_hdmi.c