De acordo com o projeto OSx86 :
The problem is that OS X has an incomplete ACPI implementation which supports only a subset of DSDT. Modifying the DSDT allows the user to better support their hardware. For example, fixing Time Machine and the UUID 35 error is possible after modifying the DSDT.
Além disso, de acordo com o ArchWiki (que é sobre o Linux):
A common linux problem is missing ACPI functionality (fans not running, screens not turning off when the lid is closed, etc.) stemming from DSDTs made with Windows specifically in mind.
Assim, se ambos os " OS X tiverem uma implementação ACPI incompleta " e sua cotação " HP geralmente parece escrever código ACPI excepcionalmente ruim "são verdadeiras, então corrigir o DSDT pode resultar em uma melhor correspondência e, assim, fazer o OS X funcionar melhor com o seu não -Apple hardware?