smpboot.c revision ef593260
1