por que meu monitor externo não é detectado?

Question

Eu tenho um monitor externo conectado através de uma porta HDMI à entrada dvi de um monitor externo. O monitor nunca é detectado. Eu corro o Ubuntu 17.1 com drivers de vídeo Intel; lspci -v encontra:

00:02.0 VGA compatible controller: Intel Corporation HD Graphics 520 (rev 07) (prog-if 00 [VGA controller])
    Subsystem: Toshiba America Info Systems HD Graphics 520
    Flags: bus master, fast devsel, latency 0, IRQ 126
    Memory at c0000000 (64-bit, non-prefetchable) [size=16M]
    Memory at b0000000 (64-bit, prefetchable) [size=256M]
    I/O ports at 3000 [size=64]
    [virtual] Expansion ROM at 000c0000 [disabled] [size=128K]
    Capabilities: <access denied>
    Kernel driver in use: i915
    Kernel modules: i915

O monitor é um mega modelo Samsung BX2335, o laptop é um toshiba tecra-z40-c, o kernel é 4.13.0-32-genérico. xrandr mostra:

jeremy@jeremy-TECRA-Z40-C-pipl:~/Downloads$ xrandr
Screen 0: minimum 320 x 200, current 1920 x 1080, maximum 8192 x 8192
eDP-1 connected primary 1920x1080+0+0 (normal left inverted right x axis y axis) 309mm x 174mm
   1920x1080     60.02*+  59.93  
   1680x1050     59.95    59.88  
   ....<a bunch of resolutions>....
   320x240       60.05  
DP-1 disconnected (normal left inverted right x axis y axis)
HDMI-1 disconnected (normal left inverted right x axis y axis)
DP-2 disconnected (normal left inverted right x axis y axis)
HDMI-2 disconnected (normal left inverted right x axis y axis)

Essa primeira tela é a tela do laptop. O xorg.conf parece ok:

jeremy@jeremy-TECRA-Z40-C-pipl:~/Downloads$ more /usr/share/doc/xserver-xorg-video-intel/xorg.conf
Section "Device"
    Identifier "Intel"
    Driver "intel"
#   Option "AccelMethod" "uxa"
EndSection

O painel de controle do monitor não detecta o monitor externo. Eu reiniciei, executei o apt update, upgrade e dist-upgrade, e tentei atualizar o driver (nenhum foi encontrado e eu não forcei nada).