Index: linux-3.10/arch/x86/boot/tty.c
===================================================================
--- linux-3.10.orig/arch/x86/boot/tty.c	2013-10-11 18:46:39.972830001 +0200
+++ linux-3.10/arch/x86/boot/tty.c	2013-10-11 18:47:00.652338169 +0200
@@ -118,7 +118,7 @@
 
 int getchar_timeout(void)
 {
-	int cnt = 30;
+	int cnt = 3;
 	int t0, t1;
 
 	t0 = gettime();