Rockchip64-default: Re-nable CEC support in kernel. It doesn't break building or booting but it also does not work OOB. Need further inspections some day.

config/kernel/linux-rk3399-default.config

@@ -3425,6 +3425,7 @@ CONFIG_REGULATOR_RK818=y
 # CONFIG_REGULATOR_TPS6524X is not set
 CONFIG_REGULATOR_TPS6586X=y
 CONFIG_REGULATOR_XZ3216=y
+CONFIG_CEC_CORE=m
 CONFIG_MEDIA_SUPPORT=y
 
 #
@@ -3436,7 +3437,8 @@ CONFIG_MEDIA_DIGITAL_TV_SUPPORT=y
 CONFIG_MEDIA_RADIO_SUPPORT=y
 CONFIG_MEDIA_SDR_SUPPORT=y
 CONFIG_MEDIA_RC_SUPPORT=y
-# CONFIG_MEDIA_CEC_SUPPORT is not set
+CONFIG_MEDIA_CEC_SUPPORT=y
+# CONFIG_MEDIA_CEC_RC is not set
 CONFIG_MEDIA_CONTROLLER=y
 CONFIG_VIDEO_DEV=y
 CONFIG_VIDEO_V4L2_SUBDEV_API=y
@@ -3464,7 +3466,7 @@ CONFIG_DVB_MAX_ADAPTERS=8
 #
 CONFIG_RC_CORE=y
 CONFIG_RC_MAP=m
-# CONFIG_LIRC is not set
+CONFIG_LIRC=y
 CONFIG_RC_DECODERS=y
 CONFIG_IR_NEC_DECODER=m
 CONFIG_IR_RC5_DECODER=m
@@ -3477,6 +3479,7 @@ CONFIG_IR_MCE_KBD_DECODER=m
 CONFIG_IR_XMP_DECODER=m
 # CONFIG_IR_IMON_DECODER is not set
 # CONFIG_RC_DEVICES is not set
+# CONFIG_IR_SERIAL is not set
 CONFIG_MEDIA_USB_SUPPORT=y
 
 #
@@ -3593,6 +3596,12 @@ CONFIG_VIDEO_CX231XX_DVB=m
 CONFIG_USB_AIRSPY=m
 CONFIG_USB_HACKRF=m
 CONFIG_USB_MSI2500=m
+
+#
+# USB HDMI CEC adapters
+#
+CONFIG_USB_PULSE8_CEC=m
+CONFIG_USB_RAINSHADOW_CEC=m
 # CONFIG_MEDIA_PCI_SUPPORT is not set
 CONFIG_V4L_PLATFORM_DRIVERS=y
 # CONFIG_VIDEO_CAFE_CCIC is not set

config/kernel/linux-rockchip64-default.config

@@ -3423,6 +3423,12 @@ CONFIG_DVB_AS102=m
 CONFIG_USB_AIRSPY=m
 CONFIG_USB_HACKRF=m
 CONFIG_USB_MSI2500=m
+
+#
+# USB HDMI CEC adapters
+#
+CONFIG_USB_PULSE8_CEC=m
+CONFIG_USB_RAINSHADOW_CEC=m
 # CONFIG_MEDIA_PCI_SUPPORT is not set
 CONFIG_V4L_PLATFORM_DRIVERS=y
 # CONFIG_VIDEO_CAFE_CCIC is not set