smpboot.c revision b0bc225d
1