Also dem eifrigen Entwickler RehabMan habe ich geschrieben, alles zugesendet, was er haben wollte, und dann meinte er, daß die ACPIBatteryManager.kext nix mit Audio zu tun hätte … Hmm …
Wahrscheinlich hat er Recht, das Pänomen scheint aber doch auf einen Bug in der neueren Version von ACPIBatteryManager.kext hinzuweisen.
Zudem habe ich mal die VoodooBattery.kext hier aus dem Forum geladen, und mit ACPIBatteryManager.kext 1.70.2 ausgetauscht, und das Ergebnis war genau das Gleiche: auch kein Sound. 
Ich habe nun die ACPIBatteryManager.kext 1.70.1 wieder reingetan, und siehe da: Sound funktioniert! Aber … kein Anzeige daß die Batterie geladen wird (was für Time Machine und Installtaionsroutinen doch wichtig wäre)! 
Wenn es nun (vielleicht doch) nicht an ACPIBatteryManager.kext liegt, dann wahrscheinlich an AppleALC.kext? Aber wie bekomme ich den Sound dann sonst zum Laufen?