help site includes info for using ipmitool and asmc4 both of which I cannot find on my machine
Por que não instalá-los? Com o ipmitool (1) instalado, você pode redefinir seu BMC digitando
$ sudo ipmitool mc reset cold
- muitas vezes me ajuda quando eu lido com o IPMI / BMC congelado.