My output when the sound still works after a reboot is:
USER PID ACCESS COMMAND /dev/snd/controlC0: brad 1984 F.... pulseaudio
My output when the sound still works after a reboot is:
/dev/snd/controlC0: brad 1984 F.... pulseaudio