Kernel prepatch 7.2-rc3

The 7.2-rc3 kernel prepatch is out fortesting. Linus said: "Things continue to look normal (the 'new normal'with slightly higher rates of commits, although I do get the feeling thatwe're seeing that slightly balanced out by people starting to go on summervacation)".