smpboot.c revision b2d2f431
1