If it's only a matter of having a buzzer signal, you don't need an ADC, you can put it directly
at at GPIO output. At least if it's a piezo device, it will work.
But I don't understand the DCDC stuff. Is there any relation with the buzzer?
* Waveform? (precision)
* current?
* frequency: You need to adjust? or is any frequency between 10k and 100kHz good?
If adjustable: what frequency steps?