fixing kernel memory allocator