F11 fix for sound on Intel HDA machines ?

[Linuxguy123]

Does this look OK ?

$ ps aux | grep pulse
xxx     2879  0.0  0.1 100944  5588 ?        Ssl  13:48
0:01 /usr/bin/pulseaudio --start --log-target=syslog
xxx     6048  0.0  0.0   4204   712 pts/1    S+   14:37   0:00 grep
pulse