K 10
svn:author
V 5
guido
K 8
svn:date
V 27
1995-10-30T20:20:49.000000Z
K 7
svn:log
V 174
When moving kernel to kernel.old, also change kern.bootfile.to
kernel.old. This is a solution for only the first install
on a running system, but it's better than it is now.

END