DisplayPort->HDMI was the only way I could get my PC to control the TV it was attached to over CEC, since (apparently) the CEC pins aren't enabled on most consumer GPUs, but the DisplayPort aux pin can be used as an alternative.
So the linux DisplayPort driver at least supports the feature, whether or not it's fully standardized/required.
