[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.