smpboot.c revision cece3155
1