Index: etherboot-5.4.3/src/core/main.c
===================================================================
--- etherboot-5.4.3.orig/src/core/main.c	2008-07-07 17:00:39.000000000 -0700
+++ etherboot-5.4.3/src/core/main.c	2008-07-07 17:00:46.000000000 -0700
@@ -416,7 +416,7 @@
 		type = BOOT_NOTHING;
 		/* fall through */
 	default:
-		printf("<abort>\n");
+		// printf("<abort>\n");
 		state = 4;
 		/* At the end goto state 0 */
 		if ((type >= BOOT_NOTHING) || (i >= MAX_BOOT_ENTRIES)) {
Index: etherboot-5.4.3/src/core/misc.c
===================================================================
--- etherboot-5.4.3.orig/src/core/misc.c	2008-07-07 17:00:39.000000000 -0700
+++ etherboot-5.4.3/src/core/misc.c	2008-07-07 17:00:51.000000000 -0700
@@ -119,7 +119,7 @@
 **************************************************************************/
 void interruptible_sleep(int secs)
 {
-	printf("<sleep>\n");
+	// printf("<sleep>\n");
 	return sleep(secs);
 }
 
