USB HDMI CEC adapter

From kodi.tv: with the USB HDMI CEC adapter directly between TV and PC, you switch on your TV and push the 'sources' button on your TV remote and your PC should be listed. Basically it injects the missing CEC via USB into your HDMI chain, all for around 40 Euros.