TK1 eDP dpaux

Do we need to modify the device tree to get the dpaux enabled?

We cannot find a definition for it.

https://developer.toradex.com/knowledge-base/display-output-resolution-and-timings-linux#Apalis_TK1_eDP_Output