Разве в имидже может не присутствовать драйвер cec? Это по моему идет из древних времен, когда думали что на spark cec не работает.
-) Сделай эксперимент. Отключи в плагине использованиеHdmiCEC (disable) Перезагрузись, а потом отыщи как его включить -))) Только правкой сеттингов. Он не загрузится потому как стоит none, а если none, он не пройдет в инитскриптах и нет /dev/hdmi-cec, а если и у нас он не с /lib/moules/extra - то получаем заколдованный круг. Обратно включить его не можем потому как плаг недоступен.