I have a Dell Inspiron 7560, with sound device Intel Corporation Device 9d71 (rev 21), and a dual boot configuration with Debian 9.0.1 and Windows 10.
For the third time I got problems with the sound while working on Linux.
It seems that after a random system suspension and/or lock screen, the sound card recognition stops working. After reboot, I get Dummy output in Linux's pulseaudio and 'no audio output device installed' in Windows' sound manager. I tried restoring disk images and I still have no sound. Previous times I managed a solution, either by formatting the whole disk and make a new install of both OS, or the audio just came after I tried a bunch of solutions in the internet, and went into the bios setup and disable followed by enabling again the audio. For the latter, unfortunately I'm not sure what solution worked.
I just wanted to ask, how is it possible that a Linux sound problem can affect Windows 10 in a different partition, and be persistent over disk image restore? What might be causing this problem? Is linux messing with the audio device's firmware configuration?