Linux kernel 3.4.71