From: Christoph Egger on
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.

Regards

Christoph Egger

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