No sound after a restart
I have an HP Spectre x360 13 4003dx with a dual boot (using GRUB) of Ubuntu 17.04 x64 and Windows 10 Pro x64.
On a first boot (after shutdown) either to Windows or Ubuntu the sound works on both of them , but when I restart back to GRUB and boot to either of them the sound doesn’t work.
Why? Is there a fix?