I've actually been using HDMI-CEC with our TV and a raspberry Pi and it works pretty darned well.

Running XMBC, I'm able to assign quite a few buttons on the remote to do various things which make XBMC usable on it. I had to do a couple of reassignments of buttons to get the context menu, but it's nice not to have yet another remote control to control it.