Package: linux Version: 5.5.0-1-amd64 Severity: minorI would like to use CEC to control my TV that's connected to my Raspberry Pi using HDMI.
For that to work using the built-in HDMI port of the Pi, the kernel needs the configuration option CONFIG_DRM_VC4_HDMI_CEC to be enabled.
Best regards, Martijn