drm/exynos: cleanup exynos_hdmi.h