diff --git a/distrib/hp300/miniroot/install.md b/distrib/hp300/miniroot/install.md
index 3a2baeac9a70..1fdff585909d 100644
--- a/distrib/hp300/miniroot/install.md
+++ b/distrib/hp300/miniroot/install.md
@@ -1,6 +1,6 @@
 #!/bin/sh
 #
-#	$NetBSD: install.md,v 1.11 2006/07/21 19:02:27 tsutsui Exp $
+#	$NetBSD: install.md,v 1.12 2006/07/29 10:40:51 tsutsui Exp $
 #
 # Copyright (c) 1996 The NetBSD Foundation, Inc.
 # All rights reserved.
@@ -452,11 +452,12 @@ __md_prep_disklabel_4
 }
 
 md_copy_kernel() {
-	echo -n "Copying kernel..."
-	cp -p /netbsd /mnt/netbsd
-	echo "done."
+	if [ ! -f /mnt/netbsd ]; then
+		echo -n "No kernel set extracted. Copying miniroot kernel..."
+		cp -p /netbsd /mnt/netbsd
+		echo "done."
 
-	cat << __md_copy_kernel_1
+		cat << __md_copy_kernel_1
 
 The INSTALL kernel from the miniroot has been copied to your root disk.
 It has minimal facilities enabled.  The first thing you should do after
@@ -464,8 +465,9 @@ installation is install an appropriate kernel for your machine (such as
 the GENERIC kernel).
 
 __md_copy_kernel_1
-	echo -n	"Press <return> to continue. "
-	getresp ""
+		echo -n	"Press <return> to continue. "
+		getresp ""
+	fi
 }
 
 	# Note, while they might not seem machine-dependent, the