Re: [PATCH 5.10 12/25] drm/vc4: hdmi: Make sure the device is powered with CEC