Update Linux kernel to 3.4.76