Comment 8 for bug 1784485

I even installed Windows on an external drive, because the author of this thread (https://askubuntu.com/questions/986140/no-sound-output-ubuntu-17-10-asus-zenbook-13) assumed that a proper shutdown of Windows could solve this issue for Linux users, but it didn't help either.