Update kernel 3.4.40 to 3.4.88