我有一台 PC，其 HDMI 端口连接到 Core i3-4010U 中集成的 Intel GPU。它运行的是 Ubuntu 16.04 和最新更新。（提供升级到 18.04 但在安装任何软件包之前失败；解决这个问题是另一个问题。）
以前，HDMI 音频输出在“声音”设置面板中可用（并且一直有效）。现在，它在“声音”设置面板中不再可用。我断开并重新连接了 HDMI 电缆，并在上次看到 HDMI 音频工作后应用了更新，所以我不确定我应该责怪断开并重新连接电缆还是应该责怪软件更新。（HDMI 电缆和电缆另一端的设备与以前相同。）我没有做任何其他可能影响音频的更改。重新启动并不能解决问题。
lspci显示了我认为的 GPU 集成音频设备和我认为的 S/PDIF / 模拟音频设备：
00:03.0 Audio device: Intel Corporation Haswell-ULT HD Audio Controller (rev 09)
00:1b.0 Audio device: Intel Corporation 8 Series HD Audio Controller (rev 04)
我应该采取什么步骤来恢复 HDMI 输出选项？