K 10 svn:author V 3 alc K 8 svn:date V 27 2005-08-11T23:38:02.000000Z K 7 svn:log V 162 Eliminate unneeded diagnostic code. Eliminate an unused #include. (Kernel stack allocation and deallocation long ago migrated to the machine-independent code.) END