F12, да, меня тоже смущает отсутствие HDMI и DVI в выхлопе xrandr. Но это была не часть выхлопа, а весь
$ xrandr -q|grep " connected"
xrandr: Failed to get size of gamma for output default
default connected primary 1920x1080+0+0 0mm x 0mm
по статейкам пробегусь чуть позже и отпишу, если что-то найду в них.
Пока что меня еще навели на настройку xinerama и пляски вокруг xorg.conf