Hey!
I just thought I would mention that I tested the Rpi DAC Pro with berryaudio using the Rpi DAC+ profile and it worked right away.
It is important to note that I haven't tested the balanced outputs as I don't currently have any balanced audio gear but the unbalanced RCA outputs work fine.
P.S. I tried to put this on the hardware discussion page but didn't have permission to. Unsure if this is intentional or not.