Squashed update of kernel from 3.4.70 to 3.4.71