Kernel prepatch 7.2-rc7

The 7.2-rc7 kernel prepatch is out fortesting. It is still bigger than Linus would like, but he saidnonetheless: "I don't currently see any value in delaying the 7.2release, so I would expect that to happen next weekend unless somethingreally bad pops up."