cosmopol_b: I'm on 7676 with BIOS version 2.21. Are you using 32-bit or 64-bit mode? I'm only using 32-bit at this stage as many apps are only 32-bit friendly.

Pitrako: Sorry to hear you're having troubles with it. I can't remember what my cause of sleep problems was so I'm going to be unable to help. However, perhaps someone else has an idea. The only thing I can think of is to do a -f during boot to flush the kext cache and ensure that the new kexts are being used.