On Tuesday 22 January 2008 07:14, Ingo Molnar wrote:

> Nick Piggin (5):
>       mm: fix PageUptodate memory ordering bug

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.