Not really.
Kodi Krypton expects libCEC 4.x, which is why I updated the version of libCEC. Normally, when it comes to libCEC, it’s better to take the attitude of ‘if it ain’t broke’.
There were some issues with CEC in Raspberry Pi firmware, but they seem to be resolved now. It seems however there are still regressions in libCEC.