Index: boot/arch/sparc64/loader/main.c
===================================================================
--- boot/arch/sparc64/loader/main.c	(revision 41f7564e975bcef427a9a5bcbb0c12c9001f1a58)
+++ boot/arch/sparc64/loader/main.c	(revision e12ccc58f0ffb42cd6c2b5def689f4d61e526d1d)
@@ -61,8 +61,6 @@
 	bootinfo.screen.addr = ofw_translate(bootinfo.screen.addr);
 	
-	if (!ofw_keyboard(&bootinfo.keyboard)) {
-		printf("Error: unable to get keyboard properties, halting.\n");
-		halt();
-	}
+	if (!ofw_keyboard(&bootinfo.keyboard))
+		printf("Error: unable to get keyboard properties\n");
 	
 	printf("\nDevice statistics\n");