K 10
svn:author
V 5
peter
K 8
svn:date
V 27
1999-05-10T02:42:58.000000Z
K 7
svn:log
V 228
Understand 'config kernelname' and pretend it was a
'makeoptions KERNEL=kernelname'.  Warn about any trailing stuff as it's
not handled here.  This is a simple bandaid, hopefully to head off some
complaints from certain people.

END