xrandr non rileva il monitor sulla porta hdmi

Ho installato Arch sul mio laptop ma non credo che questo problema sia specifico di Arch. L'unico problema al momento è che il display collegato alla porta HDMI non viene rilevato. Ad esempio, eseguendo dal centro di controllo di Gnome l'applet del display, quindi "rileva" rileva solo il display del laptop, anche se è presente un secondo monitor collegato al laptop tramite la porta HDMI. Sospetto che il problema sia che xrandr non sta rilevando il monitor collegato alla porta HDMI. Come posso risolvere questo problema?

Uscita da lspci -v per i controller vga:

01:00.0 VGA compatible controller: nVidia Corporation Device 0df5 (rev a1) (prog-if 00 [VGA controller])
    Subsystem: Dell Device 0446
    Flags: bus master, fast devsel, latency 0, IRQ 16
    Memory at f0000000 (32-bit, non-prefetchable) [size=16M]
    Memory at c0000000 (64-bit, prefetchable) [size=256M]
    Memory at d0000000 (64-bit, prefetchable) [size=32M]
    I/O ports at 3000 [size=128]
    Expansion ROM at f1000000 [disabled] [size=512K]
    Capabilities: <access denied>
    Kernel driver in use: nouveau
    Kernel modules: nvidiafb, nouveau00:02.0 VGA compatible controller:

Intel Corporation 2nd Generation Core Processor Family Integrated Graphics Controller (rev 09) (prog-if 00 [VGA controller])
    Subsystem: Dell Device 0446
    Flags: bus master, fast devsel, latency 0, IRQ 49
    Memory at f1400000 (64-bit, non-prefetchable) [size=4M]
    Memory at e0000000 (64-bit, prefetchable) [size=256M]
    I/O ports at 4000 [size=64]
    Expansion ROM at <unassigned> [disabled]
    Capabilities: <access denied>
    Kernel driver in use: i915
    Kernel modules: i915

uscita da xrandr:

Screen 0: minimum 320 x 200, current 1920 x 1080, maximum 8192 x 8192
LVDS1 connected 1920x1080+0+0 (normal left inverted right x axis y axis) 344mm x 193mm
   1920x1080      60.0*+   40.0 
   1400x1050      60.0 
   1280x1024      60.0 
   1280x960       60.0 
   1024x768       60.0 
   800x600        60.3     56.2 
   640x480        59.9 
VGA1 disconnected (normal left inverted right x axis y axis)
HDMI2 disconnected (normal left inverted right x axis y axis)
DP1 disconnected (normal left inverted right x axis y axis)

L'avevo capito; il mio generato xorg.confaveva il percorso del modulo nvidia errato e non specificava il busid. Per scoprire il busid che ho usato:

$ lspci -v

01:00.0 VGA compatible controller: nVidia Corporation GT200 [GeForce GTX 260] (rev a1)

Quindi ho modificato in xorg.confmodo che avesse una sezione simile a questa:

Section "Device"
    Identifier "Device0"
    Driver "nvidia"
    VendorName "NVIDIA Corporation"
    BusID "PCI:01:00:0"
    Option "NoLogo" "true"
    Option "UseEDID" "true"
    Option "ConnectedMonitor" "DFP"
EndSection

Section "Files"
    ModulePath      "/usr/lib/<path to nvidia driver>"
    ModulePath      "/usr/lib/xorg/modules"
EndSection