diff --git a/src/system/boot/platform/bios_ia32/start.c b/src/system/boot/platform/bios_ia32/start.c
index 09c78411d2..2b1aeaec35 100644
--- a/src/system/boot/platform/bios_ia32/start.c
+++ b/src/system/boot/platform/bios_ia32/start.c
@@ -122,8 +122,8 @@ _start(void)
 	cpu_init();
 	mmu_init();
 
-	spin(50000);
-		// wait a bit to give the user the opportunity to press a key
+	// wait a bit to give the user the opportunity to press a key
+	spin(750000);
 
 	// reading the keyboard doesn't seem to work in graphics mode (maybe a bochs problem)
 	sBootOptions = check_for_boot_keys();