Edit: Vergesst, was ich geschrieben habe, die EFI von HackBook Pro hat zumindest für mich das Problem gelöst, ich musste allerdings noch zwei Anpassungen machen:
- Audio-Eintrag unter DeviceProperties gelöscht
- Boot-Argument auf alcid=11 angepasst
Damit kommt bei mir auch Ton aus der Kiste. Super coole Sache!
Paloxer: Versuch mal, ob das bei dir auch klappt. Wenn ja, kannst du wie hier beschrieben vorgehen, um die ID fix zu machen.