smpboot.c revision d7893093
1