smpboot.c revision e57d04e5
1