This was dead code, left over from the very early days of the kernel. I took the liberty of removing it.