Squashed update of kernel from 3.0.71 to 3.0.72