[PATCH] Update Linux kernel to 3.4.76