Many bug fixes (mainly on the IPMI driver).

Change-Id: I05fa1fa8d34daa212c3cc51d5960e72eebfa82b7