Not exactly, but I just downloaded some packages from kernel.ubuntu.com/~kernel-ppa/mainline/ and I found out that this behavior started with linux 3.6.0. When I downgrade to linux 3.5.7 I can choose HDMI without problems.
-- You received this bug notification because you are a member of Desktop Packages, which is subscribed to pulseaudio in Ubuntu. https://bugs.launchpad.net/bugs/961286 Title: HDMI audio device detected by the system but not listed in Sound Settings Status in “pulseaudio” package in Ubuntu: New Bug description: It is certainly just a graphical matter because using hardinfo, running pacmd or trying to switch to HDMI in XBMC works, it's just not listed in System Settings -> Sound. From the screenshot you can easily verify there is no HDMI output listed. This is a regression from Oneiric, which correctly shows all the available hardware outputs on the same computer. ProblemType: Bug DistroRelease: Ubuntu 12.04 Package: gnome-control-center 1:3.3.92-0ubuntu2 ProcVersionSignature: Ubuntu 3.2.0-19.30-generic-pae 3.2.11 Uname: Linux 3.2.0-19-generic-pae i686 NonfreeKernelModules: nvidia ApportVersion: 1.94.1-0ubuntu2 Architecture: i386 Date: Wed Mar 21 15:59:43 2012 InstallationMedia: Ubuntu 12.04 LTS "Precise Pangolin" - Alpha i386 (20120318) ProcEnviron: TERM=xterm LANG=en_US.UTF-8 SHELL=/bin/bash SourcePackage: gnome-control-center UpgradeStatus: No upgrade log present (probably fresh install) usr_lib_gnome-control-center: activity-log-manager-control-center 0.9.4-0ubuntu1 deja-dup 21.90-0ubuntu1 gnome-bluetooth 3.2.2-0ubuntu3 indicator-datetime 0.3.91-0ubuntu1 To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/pulseaudio/+bug/961286/+subscriptions -- Mailing list: https://launchpad.net/~desktop-packages Post to : desktop-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp