[PATCH] ipmi build fix