smpboot.c revision eb5616d4
1