O patch DSDT para o seu laptop está disponível em http://Olarila.com/forum/packs.php
Se está correto ou não você tem que observar na prática, compara a duração da bateria com o Windows, roda testes de benchmark como o Geekbench, etc.
Esse laptop foi feito para rodar Windows ou Linux, não OS X. Se a performance no OS X for parecida, está bom demais.