Короче, я убираю HdmiCec из энигмы и перемещаю его в плагины на фид, это будет оптимальным выбором. Драйвер cec будет загружаться только при наличии плагина. Это будет выгодно всем, в первую очередь тем, кто его не использует (владельцы ЭЛТ, а таких ввиду дешевизны реса довольно много).