smpboot.c revision deef3250
1