This is what I found. There are 3 ports: a HDMI 2.0, a HDMI 1.4 and a DP. For both HDMI 2.0 and DP, I got screen shots of IOReg and Hackintool attached. For HDMI 1.4, once it is in use, the system's boot up process hangs; I cannot even get it boot into safe mode. Looks like Port 5, 6, and 7 are...