Update linux kernel from 3.4.80 to 3.4.81