--- src/sys/platform/pc32/i386/autoconf.c	2007/04/30 16:45:56	1.35
+++ src/sys/platform/pc32/i386/autoconf.c	2007/05/01 00:05:18	1.36
@@ -193,7 +193,6 @@ configure_final(void *dummy)
 
 		kprintf("Device configuration finished.\n");
 	}
-	cold = 0;
 }
 
 #ifdef BOOTP