Squashed update of kernel from 3.4.87 to 3.4.88