Just noticed that CONFIG_X86_F00F_WORKS_OK is left undefined when
configuring for CONFIG_MK6.
Will a kernel compiled for that CPU family actually run on any CPU
that has the F00F bug? If not, we're compiling in an, (admittedly
tiny), amount of superflous code in arch/i386/kernel/setup.c
John.