ipmi: avoid gcc warning