kernel: Porting to Linux kernel 3.7.