I’ve added
boot.extraModprobeConfig = ''
options snd-intel-dspcfg dsp_driver=1
'';
and now sound works. I don’t know what that option does, but i searched for dsp in the github repo linked above, because sof-hda-dsp was the working device on the popos.
However, microphone is not working, but I will open another thread about it, since I asked about sound.