Added kfree function to kernel memory allocator