Squashed update of kernel from 3.4.71 to 3.4.72

By broodplank