I'm using a Raspberry Pi 3 with an up-to-date armv7h install.
With kodi-rbp 16.1-5 and p8-platform 2.1.0.1-1 installed, Kodi is unable to initialize HDMI-CEC support. The following error appears in Kodi's log file:
$this->bbcode_second_pass_code('', '
ERROR: Unable to load libcec.so.3, reason: libp8-platform.so.2.0: cannot open shared object file: No such file or directory
ERROR: Initialise - failed to initalise bus cec
')
Downgrading p8-platform to version 2.0.1-2 solves the issue.
It seems that either kodi-rbp or p8-platform needs to be recompiled to fix this, right?