6d58e6cbc4
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