It's worth mentioning that HDMI CEC is spotty on Kodi. I've had no problem with it on a Pi or CCwGTV, but if you try to convert a desktop or laptop into a media center PC, chances are the HDMI output won't do CEC, and you'll need an adapter (further reading: https://kodi.wiki/view/CEC#CEC-capable_HTPCs)