Eu vi que alguém resolveu esse problema de som "retrocedendo" a versão do kernel.
eu usei
uname -r
me dando a versão do kernel. Eu removi a versão do kernel com:
sudo apt-get remove linux-image-3.13.0-46-generic
Durante a remoção, vi que um novo driver de som DKMS estava sendo instalado. Após a reinicialização, o som funcionou! E
uname -r
agora me dá
3.13.0-45-generic
como a versão do kernel.