K 10 svn:author V 3 jkh K 8 svn:date V 27 1999-05-07T11:02:58.000000Z K 7 svn:log V 90 Make saving kernel configuration info disable-able (may be useful in certain situations). END