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