This test exists in x86_64 and also applies to i386. So we add it
Signed-off-by: Glauber Costa <gcosta@redhat.com>
Signed-off-by: Ingo Molnar <mingo@elte.hu>
 
 static int __init smp_sanity_check(unsigned max_cpus)
 {
+       if (!physid_isset(hard_smp_processor_id(), phys_cpu_present_map)) {
+               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);
+       }
+
        /*
         * If we couldn't find an SMP configuration at boot time,
         * get out of here now!