[PATCH] Obsolete config in kernel source (USE_MIXARTLOADER)

From: Christoph Egger
Date: Wed Jan 20 2010 - 08:31:40 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.

The config Variable USE_MIXARTLOADER has been non-existent for
all git based linux kernels (2.6.12-rc) and seems to be no longer
relevant. It is only referenced at one place in the Code

The attached patch makes the behaviour more obvious as it is
equivalent to the old one when assuming CONFIG_MIXARTLOADER as not

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


Christoph Egger