diff -rup gpxe-1.0.1.orig/src/config/general.h gpxe-1.0.1.new/src/config/general.h
--- gpxe-1.0.1.orig/src/config/general.h	2010-06-29 20:31:33.000000000 +0100
+++ gpxe-1.0.1.new/src/config/general.h	2012-03-19 11:53:36.035138977 +0000
@@ -31,7 +31,7 @@ FILE_LICENCE ( GPL2_OR_LATER );
  * Timer configuration
  *
  */
-#define BANNER_TIMEOUT	20	/* Tenths of a second for which the shell
+#define BANNER_TIMEOUT	0	/* Tenths of a second for which the shell
 				   banner should appear */
 
 /*