[PATCH] obsolete config in kernel source (HARD_PPS)

[Christoph Egger]

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.

	There are a bunch of files in the current linux tree checking
for CONFIG_HARD_PPS which isn't in KConfig neither any other media of
setting it as far as I can tell and has been like this for ages.

	As this is seemingly unnecessary and a bit confusing when
going over the tree it migt be beneficial to clean out these parts
from the actual source.

	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/

----