Kernel prepatch 4.13-rc7

The 4.13-rc7 kernel prepatch has beenreleased. "We had a few issues come up the past week, but nothing that isreally impacting the release schedule.So here's rc7, and I still expect this to the the last rc, althoughthe best-laid plans of mice and men.."