[...]
> Now, the message.  How about this:
>        help
> 	  Intelligent Peripheral Management Interface (IPMI) is a
> 	  standard for managing sensors (temperature, voltage, etc.)
> 	  in a system.  Most IA64 and x86 servers shipped since 2002
> 	  have support for it.  See Documentation/IPMI.txt for more
> 	  details.  Say "N" unless configuring for a recent x86 or
> 	  IA64 machine.
Perhaps 'Say "Y" when configuring for a recent...' is clearer?
-- Dr. Horst H. von Brand User #22616 counter.li.org Departamento de Informatica Fono: +56 32 654431 Universidad Tecnica Federico Santa Maria +56 32 654239 Casilla 110-V, Valparaiso, Chile Fax: +56 32 797513 - To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/