You can also try using VoodooPower.kext instead, it fixes all reboot/shutdown problems on my machine (sleep not tested), apart from the power saving features.