diff --git a/init/main.c b/init/main.c
index cd168ebc592439b650042916ab26efd913f7ef42..798fe450e708b849e848f8a47795ae77b5d2fd8f 100644
--- a/init/main.c
+++ b/init/main.c
@@ -602,7 +602,8 @@ asmlinkage void __init start_kernel(void)
 	sched_clock_init();
 	profile_init();
 	if (!irqs_disabled())
-		printk("start_kernel(): bug: interrupts were enabled early\n");
+		printk(KERN_CRIT "start_kernel(): bug: interrupts were "
+				 "enabled early\n");
 	early_boot_irqs_on();
 	local_irq_enable();