[IA64-SGI] move xpc_system_reboot()