diff --git a/src/kernel/boot/platform/bios_ia32/keyboard.cpp b/src/kernel/boot/platform/bios_ia32/keyboard.cpp
index bbdae64d05..095b2f929c 100644
--- a/src/kernel/boot/platform/bios_ia32/keyboard.cpp
+++ b/src/kernel/boot/platform/bios_ia32/keyboard.cpp
@@ -54,7 +54,6 @@ check_for_boot_keys(void)
 	uint32 options = 0;
 
 	while ((key.ax = check_for_key()) != 0) {
-		dprintf("pressed %lx\n", key.ax);
 		switch (key.code.ascii) {
 			case ' ':
 				options |= BOOT_OPTION_MENU;
@@ -70,7 +69,6 @@ check_for_boot_keys(void)
 	}
 
 	dprintf("options = %ld\n", options);
-	panic("\n");
 	return options;
 }