Squashed update of kernel from 3.4.50 to 3.4.51