Dell Inspiron n5110 и HDMI

Всем привет!
Столкнулся с проблемой описанной в этом посте: http://www.gentoo.ru/node/26712 . У меня точно такой же ноут. Пробовал связаться с топикстартером через личку, но что-то не вышло. По ссылке был задан вопрос: "Xrandr вобще видит hdmi выход?". Ответ - нет, он его не видит, в этом и проблема:

nrg@lonely-stick:~$ xrandr
Screen 0: minimum 320 x 200, current 1366 x 768, maximum 8192 x 8192
LVDS1 connected 1366x768+0+0 (normal left inverted right x axis y axis) 344mm x 194mm
1366x768 60.0*+ 40.1
1360x768 59.8 60.0
1024x768 60.0
800x600 60.3 56.2
640x480 59.9
VGA1 disconnected (normal left inverted right x axis y axis)
nrg@lonely-stick:~$

В винде HDMI-порт работает.
Сразу прошу прощения за оффтоп, у меня Debian. Прошу не пинайте, некогда сам сидел на генте и общался на этом форуме, но пришлось уйти. По этому осталась учетка и мнение, что местная аудитория куда более гамотная. Подскажите куда копать?

$ uname -a
Linux lonely-stick 3.14-0.bpo.1-486 #1 Debian 3.14.7-1~bpo70+1 (2014-06-21) i686 GNU/Linux

~$ Xorg -version

X.Org X Server 1.12.4
Release Date: 2012-08-27
X Protocol Version 11, Revision 0
Build Operating System: Linux 3.2.0-4-amd64 i686 Debian
Current Operating System: Linux lonely-stick 3.14-0.bpo.1-486 #1 Debian 3.14.7-1~bpo70+1 (2014-06-21) i686
Kernel command line: BOOT_IMAGE=/boot/vmlinuz-3.14-0.bpo.1-486 root=UUID=47c29a38-1797-49cd-b72f-33550a490caf ro quiet
Build Date: 17 December 2013 08:37:13PM
xorg-server 2:1.12.4-6+deb7u2 (Julien Cristau )
Current version of pixman: 0.26.0
Before reporting problems, check http://wiki.x.org
to make sure that you have the latest version.