Cool, I indeed managed to delete pulseaudio and all its dependencies but got no improvement. However I installed xfce4 from ports and its Audio Mixer works out of box! The hardware volume/mute buttons still don't work though. Thanks so much for your kind help!