Comment by Tajnymag

What I've heard, for some reason, you can get CEC and working when you use a displayport -> hdmi adapter with the right chipset inside. So theoretically, get the right adapter, plug it on the side of the computer and you might actually get CEC signal decoded as a new kernel device.