smpboot.c revision f307d25e
1