Comment 53 for bug 1834771

Generated a workaround that restores HDMI sound and posted here: https://askubuntu.com/a/1207919/165265

It uses bassmanitram's methods (credit given) but static hardware assignment values, and is packaged to be a little more user-friendly. Applied on three machines and using until this bug is fixed.