Laut dem OSx86-Projekt :
Das Problem ist, dass OS X eine unvollständige ACPI-Implementierung hat, die nur eine Teilmenge von DSDT unterstützt. Durch das Ändern des DSDT kann der Benutzer seine Hardware besser unterstützen. Nach dem Ändern des DSDT ist es beispielsweise möglich, Time Machine und den UUID 35-Fehler zu beheben.
Auch laut ArchWiki (was über Linux geht):
Ein häufiges Linux-Problem ist die fehlende ACPI-Funktion (Lüfter laufen nicht, Bildschirme schalten sich nicht ab, wenn der Deckel geschlossen ist usw.), die auf DSDTs zurückzuführen sind, die speziell für Windows erstellt wurden.
Wenn also sowohl das oben genannte " OS X hat eine unvollständige ACPI-Implementierung " als auch Ihr Zitat " HP scheint ungewöhnlich schlechten ACPI-Code zu schreiben " wahr ist, könnte das Patchen der DSDT zu einer besseren Übereinstimmung führen und damit OS X besser arbeiten mit Ihrer Nicht-Apple-Hardware?