I just rebooted having changed nothing except deleting the "options snd-hda-intel model=..." line from /etc/modprobe.d/alsa-base and sound seems to be working. So I suppose I am another case of sound eventually working given enough reboots.
I just rebooted having changed nothing except deleting the "options snd-hda-intel model=..." line from /etc/modprobe. d/alsa- base and sound seems to be working. So I suppose I am another case of sound eventually working given enough reboots.