Ich habe es nun zum laufen gebracht.
In der config.txt habe ich die Zeile
hinzugefügt und in den Audioeinstellungen dann noch auf den passenden HDMI-Port gestellt.
Damit kann ich den HDMI Port 0 (den neben dem Power-Port) nutzen und auch das CEC funktioniert. Soweit ich es gelesen habe unterstützt LibreELEC CEC nur auf diesem Port da es dort wohl Hardwareseitig direkt anliegt.