Only HDMI audio since installing Nvidia card: onboard audio device has disappeared
Solution 1:
The cause of the problem was that the Onboard Audio was set to "Auto" in the BIOS: meaning when the BIOS detected the HDMI audio controller, it disabled Onboard Audio.
Setting Onboard Audio to "On" caused the Onboard Audio controller to reappear in Ubuntu alongside the HDMI Audio.