Squashed update of kernel from 3.4.79 to 3.4.80