Hi
Is there a dsdt patch fix to get the shutdown/reboot work without the OpenHaltRestard.kext ?
maybe it can solve the problem ?

i have already patched usb devices in my dsdt, so i don't think the problem is the AppleUSBUHCI on my install