I've found a workaround to avoid hard reboot:
kill the pulseaudio daemon:
pulseaudio -k
Though it does not start again, but at least sound appears again.
I've found a workaround to avoid hard reboot:
kill the pulseaudio daemon:
pulseaudio -k
Though it does not start again, but at least sound appears again.