如题，我的机器是nvidia的双显卡，已经安装了大黄蜂，HDMI外接显示器，声音设置里压根就没有HDMI那个设备，但是重启进入debian后，HDMI是可以输出声音的，是不是我少装了什么东西？