I tried agd5f drm-next-4.19-wip, which reports [drm] Display Core initialized with v3.1.47 but still no sound. The warning/bt in dmesg is not there any more.