Re: [PATCH 5.15 05/32] drm/vc4: hdmi: Make sure the device is powered with CEC