Faults in Linux Kernel 3.x : Wrong use of krealloc