Call cninit_finish() and set cold to 0 in configure_final() instead

of in configure(). Call cninit_finish() before setting cold to 0.
This is how it's done for other platforms. Be alike to avoid problems.

sys/arm/arm/autoconf.c

@@ -87,12 +87,12 @@ configure(void *dummy)
 	device_add_child(root_bus, "nexus", 0);
 	
 	root_bus_configure();
-
-	cold = 0;
-	cninit_finish();
 }
 
 static void
 configure_final(void *dummy)
 {
+
+	cninit_finish();
+	cold = 0;
 }