crc do you have virtualization turned on? because you need it on also what processors are they core 2 duo?
by the way if you use crc's d620 bios sleep and clamshell work.. now if we had a restart fix...
for wifi i was looking in io80211family.kext/content/plugins the wifi kext are in there. i dont remember if i added bcm43xx.kext or not before, but i added device id 4320 to the plist file and still nothing i wonder if a have to rebrand to 432b?