[PATCH] obsolete config in kernel source (X86_MCE_P4THERMAL)

From: Christoph Egger
Date: Fri Jan 15 2010 - 07:17:47 EST

Hi all!

As part of the VAMOS[0] research project at the University of
Erlangen we're checking referential integrity between kernel KConfig
options and in-code Conditional blocks.

By this we noticed one occurenc of CONFIG_X86_MCE_P4THERMAL
is still in the kernel source as alternative to
CONFIG_X86_MCE_INTEL. The attached patch now only checks for the
latter which is still present.

Please keep me informed of this patch getting confirmed /
merged so we can keep track of it.


Christoph Egger

[0] http://vamos1.informatik.uni-erlangen.de/