# CONFIG_USB_PULSE8_CEC is not set
