Hi, just a quick datapoint: while the current stable kernel 4.19.97-v7l+ recognizes the DAC+ ADC pro without any manual configuration, 5.4.35-v7l+ does not. Easily fixed by adding dtoverlay=hifiberry-dacplusadcpro to /boot/config.txt, but I thought you might want to know.
Regards, Jörn