Re: [PATCH] drm: exynos: hdmi: simplify extracting hpd-gpio from DT