O sistema acha que a porta HDMI é uma DisplayPort (por xrandr)

Question

Estou investigando por que não consigo conectar um monitor à placa gráfica do meu PC usando um cabo HDMI. Eu tenho meus gráficos integrados desligados no BIOS e normalmente uso um DisplayPort com meu monitor. Se bem me lembro, a porta HDMI integrada funcionou com os drivers nouveau antes de eu mudar para usar minha placa gráfica exclusivamente.

• Placa-mãe: Asus Z170-A. Portas Relevantes: DP x 1, HDMI x 1
• CPU: Intel i7-6700K
• GPU: Nvidia GeForce GTX 1080. Portas: DP x 3, HDMI x 1 Nvidia Versão do driver: 384.111
• Monitor do LG 4K. Portas: DP x 2, HDMI x 1

Aqui está parte da saída de xrandr :

Screen 0: minimum 8 x 8, current 3840 x 2160, maximum 32767 x 32767
DVI-D-0 disconnected (normal left inverted right x axis y axis)
HDMI-0 disconnected (normal left inverted right x axis y axis)
DP-0 disconnected (normal left inverted right x axis y axis)
DP-1 disconnected (normal left inverted right x axis y axis)
DP-2 disconnected (normal left inverted right x axis y axis)
DP-3 disconnected (normal left inverted right x axis y axis)
DP-4 connected primary 3840x2160+0+0 (normal left inverted right x axis y axis) 600mm x 340mm 
DP-5 disconnected (normal left inverted right x axis y axis)

Em primeiro lugar, por que xrandr reporta 6 DisplayPorts? Ele está detectando aqueles embutidos no meu monitor, por encadeamento em cascata, por exemplo?

Independentemente disso, isso indica claramente que minha conexão de exibição de trabalho está no DP-4. HDMI-0 e DP-0 devem ser as conexões da minha placa-mãe. A porta HDMI da minha GPU está na posição DP-2, o que parece indicar que o meu sistema está esperando um sinal DisplayPort. Aqui está xrandr --verbose para essa parte:

DP-2 disconnected (normal left inverted right x axis y axis)
Identifier: 0x1c2
Timestamp:  2356520
Subpixel:   unknown
Clones:    
CRTCs:      0 1 2 3
Transform:  1.000000 0.000000 0.000000
            0.000000 1.000000 0.000000
            0.000000 0.000000 1.000000
           filter: 
CscMatrix: 65536 0 0 0 0 65536 0 0 0 0 65536 0 
BorderDimensions: 4 
    supported: 4
Border: 0 0 0 0 
    range: (0, 65535)
SignalFormat: DisplayPort 
    supported: DisplayPort
ConnectorType: DisplayPort 
ConnectorNumber: 2 
_ConnectorLocation: 2

Posso ajudar minha máquina a esperar um sinal HDMI no que é definitivamente uma porta HDMI física? Se este for um problema de firmware da GPU, então usarei um adaptador DisplayPort para HDMI ao conectar monitores somente HDMI.