Нет звукового драйвера в звуковом приложении GNOME

Я уже не вижу никакого звукового устройства в звуковом апплете GNOME после обновления Ubuntu 14.04 (обновление содержало ядро ​​3.13.0-49). Я попытался вернуться к предыдущему ядру (3.13.0-48) без эффекта. В результате я больше не могу выбирать выход HDMI. Тем не менее, звук продолжает работать нормально (!) С аудиодинамиками компьютера и наушниками. Любая помощь приветствуется.