Kernel prepatch 4.18-rc4

The 4.18-rc4 kernel prepatch has beenreleased. "Things look pretty normal here, and size-wise this looksgood too, so it's another of those 'solid progress to release'weeks. Boring is good."