K 10 svn:author V 3 hrs K 8 svn:date V 27 2011-06-27T02:52:45.000000Z K 7 svn:log V 102 Fix build in the case that $KERNCONF has multiple configuration files. Spotted by: Nicolas Rachinsky END