IPMI driver (bug fixes).

Change-Id: Iceb368e6882cc34029e9488bc3425f1321e62903