Support using pulseaudio for sound #712
Description
PulseAudio is an abstraction layer over ALSA and various other sound servers (OSS, Sndio,...). For platforms don't have ALSA, you still can use the very same PulseAudio API to play sound.
p/s: there is pipewire as a drop-in replacement for pulseaudio, too.