Update to Linux kernel 3.8