Re: [PATCH 11/15] drm/vc4: hdmi: Remove cec_available flag