Update linux kernel to 3.4.76
Update linux kernel to 3.4.77
Update linux kernel to 3.4.78
Update linux kernel to 3.4.79
Update linux kernel to 3.4.80