After updating a Lenovo T430S to kernel-3.6.1-1.fc17.x86_64, the system
doesn't generate sound.
dmesg from a working kernel is here:
http://paste2.org/p/2332429
dmesg from kernel-3.6.1-1.fc17.x86_64 is here:
http://paste2.org/p/2332432
Before I file a bug report, has anyone else seen this problem?