Raspberry Pi VC4 DRM Driver Gets HDMI CEC Patches

While the Raspberry Pi has offered HDMI CEC (Consumer Electronics Control) support via libCEC, now when using the VC4 DRM kernel driver it will be possible to make use of HDMI CEC...