smpboot.c revision fcb43042
1