Editing: ipmi_msgdefs.h

BATAL