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?