ipmi: fix building with older gcc's