Thanks to a great contribution from Frank and Ben, the PT8211 DAC which sells for about 20 cents is now supported. They even put in 4X oversampling, so you get nice-looking waveforms at higher audio frequencies with only a simple analog low-pass filter.