Not the PPM USB-C port. It’ll just run the USB-C port in HDMI alt-mode and feed the signal to the internal HDMI switch the same way as the HDMI port signals.
Edit: The only video alt-mode supported by the PPM USB-C video port is alt-mode DP, not HDMI -> Connecting laptop using USB-C cable