IPMI driver for Linux, version 12

I've been working a lot if different issues with different people, and I have a new version of the IPMI driver. The location has moved, it's now on SourceForge at http://openipmi.sourceforge.net.

-Corey

PS - In case you don't know, IPMI is a standard for system management, it provides ways to detect the managed devices in the system and sensors attached to them. You can get more information at http://www.intel.com/design/servers/ipmi/spec.htm.