u32 value;
        int ret;
 
-       if (!vc4_hdmi->variant->cec_available)
-               return 0;
-
        vc4_hdmi->cec_adap = cec_allocate_adapter(&vc4_hdmi_cec_adap_ops,
                                                  vc4_hdmi, "vc4",
                                                  CEC_CAP_DEFAULTS |
        .debugfs_name           = "hdmi_regs",
        .card_name              = "vc4-hdmi",
        .max_pixel_clock        = 162000000,
-       .cec_available          = true,
        .registers              = vc4_hdmi_fields,
        .num_registers          = ARRAY_SIZE(vc4_hdmi_fields),
 
 
        /* Filename to expose the registers in debugfs */
        const char *debugfs_name;
 
-       /* Set to true when the CEC support is available */
-       bool cec_available;
-
        /* Maximum pixel clock supported by the controller (in Hz) */
        unsigned long long max_pixel_clock;