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