The text 9bdf13a706ba, as Debian 7 (Wheezy) shipped it.
unregister the device on the given card
snd_unregister_device(9) on Linux now