smpboot.c revision d54ff31d
1