Kernel prepatch 4.0-rc3

The 4.0-rc3 prepatch is out. "Backon track with a Sunday afternoon release schedule, since there was nothingparticularly odd going on this week, and no last-minute bugs that I knew ofand wanted to get fixed holding things up."