diff --git a/arch/x86/stage1.c b/arch/x86/stage1.c
index 646d8c4c25..ac1a0e8410 100644
--- a/arch/x86/stage1.c
+++ b/arch/x86/stage1.c
@@ -182,7 +182,7 @@ void __attribute__((stdcall)) stage1_main(u32 bist)
 		archive.len = *(u32 *)0xfffffff4;
 		archive.start =(void *)(0UL-archive.len);
 		newentry = load_file(&archive, filename);
-		printk("newentry is %p\n", newentry);
+		printk(BIOS_SPEW, "newentry is %p\n", newentry);
 		if (newentry == (void *)-1)
 			break;
 		if (! entry)