x86: move phys_cpu_present_map to smpboot.c (64bit)