Displayport to HDMI CEC-Tunneling driver support

Hey there,
I know that threads disscussing native CEC in HDMI-out ports already exist and the feature is not planned.
There is however a feature in the DP 1.3 spec, that allows injecting CEC-commands from DP-signaling when adapting a DP-out to HDMI. From what I can see, the hardware already supports this feature and alternative drivers have software-support.

I’m referencing the information found here:HDMI-CEC - ArchWiki

Curiously, the official Linux-driver is missing from the list of drivers with software-support. If it does support CEC-tunneling, could someone please confirm that for me? If not, would this not be an acceptable compromise to integrate into the driver, allowing the use of CEC without having to change the hardware design?
I personally would like to use this feature in my HTPC.
Thanks in advance.

From my testing, it does work in Noveau, but not with the official NVIDIA driver. I’d still like to see it supported in the native driver.

AFAIK, the nouveau people are also fiddling with the nvidia GSP firmware for a while now, so maybe ask them if this can be implemented easily using it so there’s a chance to find it anytime soon in the nvidia-open modules.

Unfortunately, my 1070 missed the open source compatibility by one generation. I might still look into this though.