Bug#670486: Does not show HDMI/DisplayPort as available output on ThinkPad X220 (Intel HDA audio)

[Josh Triplett]

Package: pulseaudio
Version: 1.1-3+b1
Severity: normal

On my ThinkPad X220 (with Intel HDA audio), PulseAudio does not show
HDMI/DisplayPort audio devices as available outputs.  ALSA finds the device,
and I can play audio directly through ALSA via the appropriate device
identifier ("mplayer -ao alsa:device=hw=0.3 ..."), but PulseAudio doesn't see
it.

~$ head -n 1 /proc/asound/card0/codec*
==> /proc/asound/card0/codec#0 <==
Codec: Conexant CX20590

==> /proc/asound/card0/codec#3 <==
Codec: Intel CougarPoint HDMI

~$ cat /proc/asound/cards
 0 [PCH            ]: HDA-Intel - HDA Intel PCH
                      HDA Intel PCH at 0xf2620000 irq 49
29 [ThinkPadEC     ]: ThinkPad EC - ThinkPad Console Audio Control
                      ThinkPad Console Audio Control at EC reg 0x30, fw unknown

- Josh Triplett

-- System Information:
Debian Release: wheezy/sid
  APT prefers unstable
  APT policy: (500, 'unstable'), (1, 'experimental')
Architecture: amd64 (x86_64)

Kernel: Linux 3.2.0-2-amd64 (SMP w/4 CPU cores)
Locale: LANG=C.UTF-8, LC_CTYPE=C.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash

Versions of packages pulseaudio depends on:
ii  adduser             3.113+nmu1
ii  consolekit          0.4.5-3
ii  libasound2          1.0.25-2
ii  libasound2-plugins  1.0.25-1+b1
ii  libc6               2.13-30
ii  libcap2             1:2.22-1
ii  libdbus-1-3         1.5.12-1
ii  libfftw3-3          3.3-1
ii  libice6             2:1.0.8-2
ii  libltdl7            2.4.2-1
ii  liborc-0.4-0        1:0.4.16-1
ii  libpulse0           1.1-3+b1
ii  libsamplerate0      0.1.8-4
ii  libsm6              2:1.2.1-2
ii  libsndfile1         1.0.25-4
ii  libspeexdsp1        1.2~rc1-3
ii  libtdb1             1.2.10-1
ii  libudev0            175-3.1
ii  libx11-6            2:1.4.99.901-1
ii  libx11-xcb1         2:1.4.99.901-1
ii  libxcb1             1.8.1-1
ii  libxtst6            2:1.2.1-1
ii  lsb-base            4.1+Debian2
ii  udev                175-3.1

Versions of packages pulseaudio recommends:
pn  gstreamer0.10-pulseaudio  0.10.31-2
pn  pulseaudio-esound-compat  <none>
pn  pulseaudio-module-x11     <none>
pn  rtkit                     <none>

Versions of packages pulseaudio suggests:
pn  paman             <none>
pn  paprefs           <none>
pn  pavucontrol       <none>
pn  pavumeter         <none>
pn  pulseaudio-utils  <none>

-- no debconf information