smpboot.c revision fa26d0c77
1