Update linux kernel 3.0.42