A64mediaplayer

Hi Folks! Thanks for the great software. Install went very smoothly and my board is stable. Last step is to enable my DAC card. I know that it is used in the Volumio image for this board ... so I assume (!) that support is in Kernel already. Any hints on how to get it working? I was digging around for a dtoverlay to enable ... but no luck so far. thanks!