On Tuesday 22 January 2008 07:14, Ingo Molnar wrote:
This should actually be named differently. It should be
called
x86: don't unconditionally enable expensive SMP ppro workaround
I actually had a more complete patch which printed a warning if
booting such a system without the config option.