set_nr_cpu_ids(8);
        }
 #endif
-
-       if (!physid_isset(read_apic_id(), phys_cpu_present_map)) {
-               pr_warn("weird, boot CPU (#%d) not listed by the BIOS\n",
-                       read_apic_id());
-
-               physid_set(read_apic_id(), phys_cpu_present_map);
-       }
-
-       /*
-        * Should not be necessary because the MP table should list the boot
-        * CPU too, but we do it for the sake of robustness anyway.
-        */
-       if (!apic->check_phys_apicid_present(boot_cpu_physical_apicid)) {
-               pr_notice("weird, boot CPU (#%d) not listed by the BIOS\n",
-                         boot_cpu_physical_apicid);
-               physid_set(read_apic_id(), phys_cpu_present_map);
-       }
        preempt_enable();
 }