commenting the kernel memory allocator