IPMI is so bad, I don't even use it for my servers when it is available! Better to just wait and call someone at the datacenter who will take care of reboots properly.