On my machine, while running 3.8.0-17-generic, the Sound Settings panel correctly displays "HDMI / DisplayPort" when the HDMI cable is plugged in, and hides it when it's not.
Under 3.8.0-19-generic, the option never shows up, even though "aplay -l" lists the HDMI output under both kernel versions (whether the cable is plugged in or not).
ProblemType: Bug
DistroRelease: Ubuntu 13.04
Package: linux-image-3.8.0-19-generic 3.8.0-19.29
ProcVersionSignature: Ubuntu 3.8.0-17.27-generic 3.8.6
Uname: Linux 3.8.0-17-generic x86_64
ApportVersion: 2.9.2-0ubuntu8
Architecture: amd64
AudioDevicesInUse:
USER PID ACCESS COMMAND
/dev/snd/controlC0: leo 2159 F.... pulseaudio
Date: Tue Apr 30 00:57:31 2013
HibernationDevice: RESUME=UUID=ce265857-4176-461b-b90f-430f62d3c105
InstallationDate: Installed on 2013-04-02 (27 days ago)
InstallationMedia: Ubuntu 13.04 "Raring Ringtail" - Alpha amd64 (20130328)
MachineType: Acer V5-171
MarkForUpload: True
ProcFB: 0 inteldrmfb
ProcKernelCmdLine: BOOT_IMAGE=/boot/vmlinuz-3.8.0-17-generic.efi.signed root=UUID=ef6046a9-af9f-4f0f-bb57-ed7e130b4f27 ro quiet splash acpi_backlight=vendor vt.handoff=7
RelatedPackageVersions:
linux-restricted-modules-3.8.0-17-generic N/A
linux-backports-modules-3.8.0-17-generic N/A
linux-firmware 1.106
SourcePackage: linux
UpgradeStatus: No upgrade log present (probably fresh install)
dmi.bios.date: 03/08/2013
dmi.bios.vendor: Acer
dmi.bios.version: V2.15
dmi.board.asset.tag: Type2 - Board Asset Tag
dmi.board.name: Mimic
dmi.board.vendor: Acer
dmi.board.version: Type2 - Board Version
dmi.chassis.type: 10
dmi.chassis.vendor: Acer
dmi.chassis.version: V2.15
dmi.modalias: dmi:bvnAcer:bvrV2.15:bd03/08/2013:svnAcer:pnV5-171:pvrV2.15:rvnAcer:rnMimic:rvrType2-BoardVersion:cvnAcer:ct10:cvrV2.15:
dmi.product.name: V5-171
dmi.product.version: V2.15
dmi.sys.vendor: Acer
---
ApportVersion: 2.9.2-0ubuntu8
Architecture: amd64
AudioDevicesInUse:
USER PID ACCESS COMMAND
/dev/snd/controlC0: leo 1960 F.... pulseaudio
DistroRelease: Ubuntu 13.04
HibernationDevice: RESUME=UUID=ce265857-4176-461b-b90f-430f62d3c105
InstallationDate: Installed on 2013-04-02 (27 days ago)
InstallationMedia: Ubuntu 13.04 "Raring Ringtail" - Alpha amd64 (20130328)
MachineType: Acer V5-171
MarkForUpload: True
Package: linux (not installed)
ProcFB: 0 inteldrmfb
ProcKernelCmdLine: BOOT_IMAGE=/boot/vmlinuz-3.8.0-19-generic.efi.signed root=UUID=ef6046a9-af9f-4f0f-bb57-ed7e130b4f27 ro quiet splash acpi_backlight=vendor vt.handoff=7
ProcVersionSignature: Ubuntu 3.8.0-19.29-generic 3.8.8
RelatedPackageVersions:
linux-restricted-modules-3.8.0-19-generic N/A
linux-backports-modules-3.8.0-19-generic N/A
linux-firmware 1.106
Tags: raring
Uname: Linux 3.8.0-19-generic x86_64
UpgradeStatus: No upgrade log present (probably fresh install)
UserGroups: adm cdrom dip lpadmin plugdev sambashare sudo
dmi.bios.date: 03/08/2013
dmi.bios.vendor: Acer
dmi.bios.version: V2.15
dmi.board.asset.tag: Type2 - Board Asset Tag
dmi.board.name: Mimic
dmi.board.vendor: Acer
dmi.board.version: Type2 - Board Version
dmi.chassis.type: 10
dmi.chassis.vendor: Acer
dmi.chassis.version: V2.15
dmi.modalias: dmi:bvnAcer:bvrV2.15:bd03/08/2013:svnAcer:pnV5-171:pvrV2.15:rvnAcer:rnMimic:rvrType2-BoardVersion:cvnAcer:ct10:cvrV2.15:
dmi.product.name: V5-171
dmi.product.version: V2.15
dmi.sys.vendor: Acer
apport information