Addendum:
Maybe I should have tried this beforehand, sound works again with
kernel 4.12.0-0.bpo.2-amd64, so it seems that whatever change caused this
bug in 4.9 has been fixed meanwhile.

Regards

Michael

Reply via email to