Use the correct deallocation function when freeing memory in the kernel module.