Нет звука по HDMI, работающему 15.04 на NUC D54250WYK

После обновления до 15.04 и, возможно, еще одного раунда обновления, я не слышу звук по HDMI. Звуковое устройство, кажется, существует:

$ aplay -l
**** List of PLAYBACK Hardware Devices ****
card 1: PCH [HDA Intel PCH], device 0: ALC283 Analog [ALC283 Analog]
    Subdevices: 1/1
    Subdevice #0: subdevice #0

Но когда я пытаюсь что-то сыграть (с помощью aplay), нет ничего, кроме тишины (даже ошибки). Я уже посмотрел на регуляторы громкости, и, насколько я вижу, ничего не отключено или недостаточно громко.

Регулятор громкости PulseAudio, похоже, не распознает какие-либо устройства вывода, кроме встроенного аудио аналогового стереозвука, а настройки звука даже не распознают это.

Вещи, которые я уже пробовал:

• Обновление через apt-get не решило эту проблему.
• pavucontrol не отображал устройство HDMI.
• aplay перечисляет устройство, но, похоже, ничего не играет.
• удаление файлов в ~/.pulse dirs не помогло.
• перезапуск alsa и pulseaudio тоже не помог.

Вот отчет также-info.sh с моего компьютера: http://www.alsa-project.org/db/?f=4750eeb7df3a6ffcb40d9debd7c001556a8d93fb