IPMI driver (bug fixes).

Change-Id: I3fc3c8272d4aaa867e10de6aab43d125a3246c4a
Merge "IPMI driver (bug fixes)."