ubuntu13.04を使っているのですが、システム設定→サウンドで、サウンドの出力先が何も表示されず、音が出ません。
なにが原因なのでしょうか？
https://wiki.ubuntulinux.jp/UbuntuTips/Hardware/SoundTroubleshooting
を見たのですが、よくわかりませんでした。

$ lspci -v -s `lspci | grep -i audio | sed -e 's/\(\w*\)\s.*/\1/'`
00:1b.0 Audio device: Intel Corporation 5 Series/3400 Series Chipset High Definition Audio (rev 06)
    Subsystem: Fujitsu Limited. Device 1475
    Flags: bus master, fast devsel, latency 0, IRQ 43
    Memory at f2800000 (64-bit, non-prefetchable) [size=16K]
    Capabilities: <access denied>
    Kernel driver in use: snd_hda_intel

$ cat /proc/asound/cards
0 [MID            ]: HDA-Intel - HDA Intel MID
                      HDA Intel MID at 0xf2800000 irq 43

$  cat /proc/asound/card0/codec*  | grep -i codec
Codec: Intel IbexPeak HDMI

$  aplay -L
default
    Playback/recording through the PulseAudio sound server
hdmi:CARD=MID,DEV=0
    HDA Intel MID, HDMI 0
    HDMI Audio Output
dmix:CARD=MID,DEV=3
    HDA Intel MID, HDMI 0
    Direct sample mixing device
dsnoop:CARD=MID,DEV=3
    HDA Intel MID, HDMI 0
    Direct sample snooping device
hw:CARD=MID,DEV=3
    HDA Intel MID, HDMI 0
    Direct hardware device without any conversions
plughw:CARD=MID,DEV=3
    HDA Intel MID, HDMI 0
    Hardware device with all software conversions