OSXRestart.kext is developed for OS X 10.6 and 10.6 only. For both 32 and 64 bit (single combo kext). And also (not specifically) for people where restart-after-sleep is broken; no more keyboard controller hacks – I am using the FACP table data instead.