I would like to be able to switch between the soundboard and HDMI audio source. How can I revert back to the standard drivers? Is there a better way than what I am considering?
Copy /etc/asound.conf
somewhere, and then delete it.
Edit /boot/config.txt
Make sure you have a line dtparam=audio=on
and comment out the lines;
#dtoverlay=i2s-mmap
#dtoverlay=hifiberry-dac