I'm using hdmi-cec with Kodi on an rpi4 and it works just fine? I did need to tweak the logical address to get it to work with my tv though, but the pi4 certainly supports CEC.