HDMI CEC support

I tried to compile a more recent kernel image following GitHub - starfive-tech/linux … but it refuses to boot, and as I have no serial port, I can’t see the early console and figure out what goes wrong. So I am currently stuck with the semi-official Fedora kernel image.

In any case, CEC is not a blocking item at this time. ALSA and DRM/KMS are more important items.