K 10 svn:author V 5 joerg K 8 svn:date V 27 1995-08-06T19:45:34.000000Z K 7 svn:log V 115 Extentd David's recent change to shutdown_nice() by calling cpu_reset() directly in case init(8) is *not* running. END