Changed to not build the ipmi providers at all if the --disable-ipmi is specified
Authored by: jcarey 2007-09-21
Parent: [r492]
Child: [r494]