Re: [PATCHv2 3/3] drm/vc4: add HDMI CEC support