So I have confirmed info now from the engineering team.
The USB Type-C port is alt-DP using a DP-to-HDMI converter internally. It does not support alt-HDMI mode!
So I have confirmed info now from the engineering team.
The USB Type-C port is alt-DP using a DP-to-HDMI converter internally. It does not support alt-HDMI mode!