RE: [PATCH Resend] drm/exynos: Use devm_* APIs in exynos_hdmi.c