Zur allgemeinen Info, wir haben es hinbekommen!
1. onboard-sound deaktiviert, ebenso alte Soundkarte (im Bios)
2. Karte saß nicht richtig im PCI-Steckplatz
jetzt funktioniert es wieder bei ihm