Ubuntu 20.04（内核 5.4.0-48）
正如标题所述，启动后我没有通过 HDMI 听到声音：实际上 HDMI 接口似乎根本不存在。
我已经仔细阅读了类似问题的答案，我发现一个pulseaudio -k办法可以解决问题：之后 HDMI 接口出现并正常工作
开心吗？其实并不开心，因为重启后情况又恢复了（没有声音）。目前我pulseaudio -k每次都这样解决，但我正在努力彻底解决这个问题。
您对此问题有什么建议或线索吗？
这是启动时的系统日志
。刷新后pulseaudio我得到了这个：
编辑：升级至 20.10 后问题消失