Luke, nice.

Someone asked:
>how is putting a "no " in front of the line substantially different from 
>putting a "#" in front of it? does this really warrant a change in the 
>grammar?

In case it isn't obvious, Luke's changes allow:

$ cat MYCONFIG

include "arch/sparc/conf/GENERIC"

no options FU
no options BAR
$

alternatively you need to copy GENERIC and edit it everytime you update.
The above is superior.
If/when the device stuff - esp with the enhancements that der Mouse mentioned
it will rock!

Thanks
--sjg