A lot of them have RJ45 and RS232 ports and you can send commands through them to make some DIY CEC. You'd need to do some hacking and I don't know if they have public APIs, but it's possible.