--- a/arch/x86/kernel/smpboot.c	2008-10-10 02:13:53.000000000 +0400
+++ b/arch/x86/kernel/smpboot.c	2008-12-05 14:39:29.608353301 +0300
@@ -1084,7 +1084,7 @@ static int __init smp_sanity_check(unsig
 #endif
 
 	if (!physid_isset(hard_smp_processor_id(), phys_cpu_present_map)) {
-		printk(KERN_WARNING "weird, boot CPU (#%d) not listed"
+		printk(KERN_WARNING "weird, boot CPU (#%d) not listed "
 				    "by the BIOS.\n", hard_smp_processor_id());
 		physid_set(hard_smp_processor_id(), phys_cpu_present_map);
 	}