The problem seems resolved!
The stupid thing is that I tried changing various audio driver options back and forth, and when I suddenly got sound, I forgot to write down what change actually did the trick ... Once the favorite toy works again, you get absorbed by it.

I will check the config at next opportunity, and update here.