Squashed update of kernel from 3.4.71 to 3.4.72