INCLUDE_CONFIG_FILE in GENERIC

[Garance A Drosehn]

At the risk of sounding overly simplistic, how hard is it to just go
ahead and include both versions?

In my current /boot/kernel/kernel , it looks like there's 2675 bytes
of CONFIG_AUTOGENERATED lines.  My original config file is 13540
bytes.  I don't see that there's all that much pain in including
both versions, maybe with an extra separator-line or two added in.
And personally, I feel that both versions are useful to have.

Then have OPTIONs for those who only wanted the original config, or
only wanted the autogen'ed version, or who don't want either version.

-- 
Garance Alistair Drosehn     =               drosehn at rpi.edu
Senior Systems Programmer               or   gad at FreeBSD.org
Rensselaer Polytechnic Institute;             Troy, NY;  USA