Fix ipmi driver name

Change-Id: I2c09608e4ed94b729efa2b739341f9606261db9e