Re: [PATCH v3 05/17] video: dw_hdmi: Add setup_hpd hook