LibreELEC (just enough OS for Kodi) on Raspberry Pi supports CEC. Does that count as a PC?