diff --git a/sys/conf/Makefile.i386 b/sys/conf/Makefile.i386
index c9985946677..f88dd84a6bd 100644
--- a/sys/conf/Makefile.i386
+++ b/sys/conf/Makefile.i386
@@ -1,6 +1,6 @@
 # Copyright 1990 W. Jolitz
 #	from: @(#)Makefile.i386	7.1 5/10/91
-#	$Id: Makefile.i386,v 1.73 1996/01/05 18:30:10 wollman Exp $
+#	$Id: Makefile.i386,v 1.74 1996/01/07 22:31:27 phk Exp $
 #
 # Makefile for FreeBSD
 #
@@ -157,6 +157,7 @@ install:
 	mv /kernel /kernel.old
 	if [ `sysctl -n kern.bootfile` = "/kernel" ] ; then \
 		sysctl -w kern.bootfile=/kernel.old ; \
+		mv -f /var/db/kvm_kernel.db /var/db/kvm_kernel.old.db ; \
 	fi
 	install -c -m 555 -o root -g wheel -fschg kernel /
 
diff --git a/sys/conf/Makefile.powerpc b/sys/conf/Makefile.powerpc
index c9985946677..f88dd84a6bd 100644
--- a/sys/conf/Makefile.powerpc
+++ b/sys/conf/Makefile.powerpc
@@ -1,6 +1,6 @@
 # Copyright 1990 W. Jolitz
 #	from: @(#)Makefile.i386	7.1 5/10/91
-#	$Id: Makefile.i386,v 1.73 1996/01/05 18:30:10 wollman Exp $
+#	$Id: Makefile.i386,v 1.74 1996/01/07 22:31:27 phk Exp $
 #
 # Makefile for FreeBSD
 #
@@ -157,6 +157,7 @@ install:
 	mv /kernel /kernel.old
 	if [ `sysctl -n kern.bootfile` = "/kernel" ] ; then \
 		sysctl -w kern.bootfile=/kernel.old ; \
+		mv -f /var/db/kvm_kernel.db /var/db/kvm_kernel.old.db ; \
 	fi
 	install -c -m 555 -o root -g wheel -fschg kernel /
 
diff --git a/sys/i386/conf/Makefile.i386 b/sys/i386/conf/Makefile.i386
index c9985946677..f88dd84a6bd 100644
--- a/sys/i386/conf/Makefile.i386
+++ b/sys/i386/conf/Makefile.i386
@@ -1,6 +1,6 @@
 # Copyright 1990 W. Jolitz
 #	from: @(#)Makefile.i386	7.1 5/10/91
-#	$Id: Makefile.i386,v 1.73 1996/01/05 18:30:10 wollman Exp $
+#	$Id: Makefile.i386,v 1.74 1996/01/07 22:31:27 phk Exp $
 #
 # Makefile for FreeBSD
 #
@@ -157,6 +157,7 @@ install:
 	mv /kernel /kernel.old
 	if [ `sysctl -n kern.bootfile` = "/kernel" ] ; then \
 		sysctl -w kern.bootfile=/kernel.old ; \
+		mv -f /var/db/kvm_kernel.db /var/db/kvm_kernel.old.db ; \
 	fi
 	install -c -m 555 -o root -g wheel -fschg kernel /