smpboot.c revision 0f385d1d
1