Ставим ipmitool
Если не видит девайс и ругается «Could not open device at /dev/ipmi0 or /dev/ipmi/0 or /dev/ipmidev/0: No such file or directory», подключаем модули
modprobe ipmi_devintf ; modprobe ipmi_si
# ipmitool mc reset cold
Sent cold reset command to MC
Если IPMI жив и доступен по сети хоть как то, можно так
ipmitool -H 1.2.3.4 -U ROOT mc reset cold