Перезагрузить IPMI из консоли

Ставим 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