Squashed update of kernel from 3.4.70 to 3.4.71
Squashed update of kernel from 3.4.71 to 3.4.72