RE: [PATCH 2/5] drm/exynos: Use devm_gpio_request in exynos_hdmi.c