add pulseaudio to virtualbox

Uses config.pulseaudio for the default.
We usually use config.pulseaudio or true.