[PATCH 0/3] drm/vc4: Fix for the HDMI detect power state