The attached patch fixes a few minor problems with the IPMI driver, a
misplaced lock, a wrong semphore type, and a few errors in certain
configurations.  This is relative to 2.5.67.

Linus, please apply.

Thanks,

-Corey