[PATCH 5.16 05/43] drm/vc4: hdmi: Make sure the device is powered with CEC