This hint has been provided by brilliant colleague sysadmin:
"if you can log on to the console, the ipmi can be reset as follows:

modprobe ipmi_si
modprobe ipmi_devintf

ipmitool mc reset cold

"