Bug#1027483: thank you!

[Tomas Pospisek]

Woah guys, a new Debian stable kernel came my way and finally sound works 
again consistently. Many, many, many thanks to you for bisecting, patching 
and shipping the fix. Muito, muito obrigado!
*t