Consegui fazê-lo funcionar. Em vez de usar os pacotes dos repositórios, tentei compilar por conta própria.
Esta foi uma das soluções que tentei antes, mas estou assumindo agora que fiz algo errado. Acho que esqueci de remover um dos pacotes e houve conflito ou perdi o último comando aqui.
sudo apt-get update
sudo apt-get install cmake liblockdev1-dev libudev-dev libxrandr-dev python-dev swig
cd
git clone https://github.com/Pulse-Eight/platform.git
mkdir platform/build
cd platform/build
cmake ..
make
sudo make install
cd
git clone https://github.com/Pulse-Eight/libcec.git
mkdir libcec/build
cd libcec/build
cmake ..
make -j4
sudo make install
sudo ldconfig
Se isto não funcionar para mais ninguém com o problema, verifique se eles ainda têm o pacote libcec3 instalado. Eu posso estar errado, mas acho que isso não funcionará se já houver o pacote libcec.