[CentOS] ipmi_si error on booting

I'm getting the (unintelligible to me) error message
  ipmi_si: Could not set up I/O space
  ERST: Failed to get Error Log Address Range
when I try to boot any OS on the grub menu
apart from the one I last installed.
(Actually, Windows also boots properly.)

I wonder if anyone has had this error message,
and worked out where it comes from?

I googled for it, and it has come up many times;
but there seem to be several entirely different suggested causes.

I am running CentOS-6.5 on an HP MicroServer.
I mention that as some of the explanations
suggest that it only occurs on certain machines.


-- 
Timothy Murphy  
e-mail: gayleard /at/ eircom.net
School of Mathematics, Trinity College, Dublin 2, Ireland