[PATCH] ipmi: allow userland to include ipmi.h