9330b6a79d
Eliminate an unused #include. (Kernel stack allocation and deallocation long ago migrated to the machine-independent code.)