[PATCH v2] arm64: dts: imx8mm-verdin: enable hpd on hdmi-connector

[Shawn Guo]

On Tue, Nov 29, 2022 at 03:09:35PM +0100, Francesco Dolcini wrote:
> From: Stefan Eichenberger <stefan.eichenberger at toradex.com>
> 
> Add hot plug detect gpio to the HDMI connector.
> 
> Signed-off-by: Stefan Eichenberger <stefan.eichenberger at toradex.com>
> Signed-off-by: Francesco Dolcini <francesco.dolcini at toradex.com>

Applied, thanks!