It's possible that one of card0-DP-* is actually the HDMI port just mislabelled by the kernel. In that case it could be a connection problem specific to Linux. Do you have any other cables to try?
It's possible that one of card0-DP-* is actually the HDMI port just mislabelled by the kernel. In that case it could be a connection problem specific to Linux. Do you have any other cables to try?