smpboot.c revision 6e5385d4
1