K 10 svn:author V 3 jkh K 8 svn:date V 27 1998-03-21T02:08:33.000000Z K 7 svn:log V 116 An overly conservative choice prevented the new kernel from landing in the right place after an upgrade. Fix that. END