No sound with the newest kernel version - is this a kernel bug or something else?

view story

http://unix.stackexchange.com – I have an external USB sound card on a Fedora 17 system (64 bit). It stopped playing sound after I updated the kernel to 3.5.4-1 (the problem persists under 3.5.4-2). As the sound card still plays sound when I boot 3.5.3-1, I assume that the problem is neither hardware-related nor a matter of badly configured settings. I still checked the usual suspects for bad settings (Phonon, alsamixer, pavucontrol), but everything looks OK there as far as I can tell. I assumed that this is a kernel bug, and even submitted it. But now a friend sent me a link to a Google Plus post which seems to say that (HowTos)