Update Linux kernel from 3.4.87 to 3.4.88