31192fc056
by incomplete cutting and pasting from machdep.c to kern_shutdown.c. PR: 3953
by incomplete cutting and pasting from machdep.c to kern_shutdown.c. PR: 3953