more cleanups in kernel memory manager :)