Main sound device disappears after resuming from sleep mode

I have a problem with my sound since I upgraded to 19.04.

When I close my laptop, it goes to sleep. When I wake it up, it switches to "headphones".

Then, if I go to "sound device", my main speaker does not show. There’s only the headphones that are here. I can’t get my speakers back.

I have to reboot the computer to get my device back.

So, I formatted my laptop an reinstalled a clean 18.10, but the problem was still there.

I discovered mr0’s answer to Ubuntu changes sound device after suspend, how to fix?, which says:

Same happens for me but only if the HDMI monitor is not "awake" when OS starts or resumes: the list of devices in Settings > Sound doesn’t even show HMDI/DisplayPort – Built-in Audio any more.

The fix for me is to suspend the session, ensure HDMI monitor is on, resume the session.

Suspend in Ubuntu 18.04 LTS is somewhat insanely hidden behind the PowerOff button in the drop down menu: hold mouse down on it, or press Alt to convert the PowerOff button into Suspend. Talk about hidden navigation!

So, I thought, "OK, I’ll do that with 19.04", and I upgraded to 19.04.

But this solution does not work with the Disco Dingo release.

Any idea?

options snd-hda-intel probe_mask=1