Even if it turns out that HDMI Alternate Mode is not supported, you can still get it to work by connecting an active adapter (e.g. a USB-C dock with multiple video outputs or USB-C to multiple HDMI ports splitter) as those will translate DP to HDMI for you.
3 Likes