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