I can restore sound by suspending, booting Windows (sound works then), shutting down Windows and resuming.
I can restore sound by suspending, booting Windows (sound works then), shutting down Windows and resuming.