I am new to BananaPI and I am using Arch as Operating system on mine. That said the CEC kernel-module for the BananaPI does nothing, its just empty but it should initialise the hardware CEC port (as it does in/for the RasberryPI-Arch). Unfortualtely that is all I could find out so far and I have never tried to write a kernel-module. But I understand that xbmc and any other software cant work if the interface is never initialised.
Maybe this little piece of information helps, I would really appreciate any feedback and CEC on the BananaPI would be nice.