[PATCH 1/1] drm/exynos: Convert to use the standard hdmi.h header