--- src/sys/platform/vkernel/i386/autoconf.c	2007/04/30 07:18:55	1.8
+++ src/sys/platform/vkernel/i386/autoconf.c	2007/05/01 00:05:18	1.9
@@ -243,7 +243,6 @@ configure_final(void *dummy)
 
 	if (bootverbose)
 		kprintf("Device configuration finished.\n");
-	cold = 0;
 }
 
 #ifdef BOOTP