Estão listadas no primeiro post do tópico, também no link da minha assinatura
Outra coisa que pode testar, tendo em vista as várias mensagens de SMC no boot, é trocar a kext FakeSMC de EFI/CLOVER/kexts/10.8 por esta
http://sourceforge.net/projects/hwsensors/
FakeSMC.kext.zip