x86: take load_sp0 out of smpboot.c