diff --git a/projects/RPi/options b/projects/RPi/options
index 6672c0050d..338db45057 100644
--- a/projects/RPi/options
+++ b/projects/RPi/options
@@ -93,6 +93,9 @@
   # KODI Player implementation to use (default / bcm2835-driver / mesa)
     KODIPLAYER_DRIVER="bcm2835-driver"
 
+  # use the kernel CEC framework for libcec (yes / no)
+    CEC_FRAMEWORK_SUPPORT="yes"
+
   # additional Firmware to use (dvb-firmware, misc-firmware, wlan-firmware)
   # Space separated list is supported,
   # e.g. FIRMWARE="dvb-firmware misc-firmware wlan-firmware"