Kodi runs well on a pi4, but the lack of hdmi-cec support was enough to make me change to an nvidia shield pro (not the tube shaped one one, unless you like stuttering 4k playback)
What do you mean? I have Kodi running on a Pi4 with HDMI-CEC. It works perfectly. Remember, only one of the ports supports HDMI-CEC by default and you need the correct cable.
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.