The submitted fix causes many users to have no HDMI sound at all, because they are not able to select their sound device. See the corresponding bug report: https://bugs.launchpad.net/ubuntu/+source/linux/+bug/1834771
The submitted fix causes many users to have no HDMI sound at all, because they are not able to select their sound device. See the corresponding bug report: https:/ /bugs.launchpad .net/ubuntu/ +source/ linux/+ bug/1834771