4a04ef1ff8
the old kern_shutdown.c . Other archs might be able to use similar code but I don't have anything to test on.