smpboot.c revision f54d4434
1