Update smpboot.c