drivers/char/ipmi/* annotated, structure shared between kernel and
userland (ioctls) split in two.
ACPI callback in the same code used to have wrong type - it should've been
void (...), not u32 (...).  Fixed.
Signed-off-by: Linus Torvalds <torvalds@osdl.org>