You still haven't answered the main question: does that improve something?
We discussed that internally a while ago and decided against switching pulse 8 CEC to the kernel API and enabling CEC RC support for various reasons:
In passthrough mode core CEC will still be handled by libcec so the kernel driver only acts as a rather simple transport device. If pulse 8 decides to change something in their internal device communication protocol we can't simply update libcec but will have to wait for kernel patches to appear - which can be a real PITA, especially as we have to also care about older kernels during stable releases and testing bleeding edge kernels during development. It's best to avoid adding unneeded dependencies.
Upstream kodi and libcec are mainly tested and used with userspace pulse 8 integration. Again, there'd need to be really strong reasons (which I don't see ATM) to deviate from that.
So, to sum it up, the pulse 8 kernel driver is great if you don't want to use libcec, but as we / kodi already use that there's little point in doing a switch.
so long,
Hias