Kernel prepatch 5.2-rc5

The 5.2-rc5 kernel prepatch is out fortesting. "But the good news is that we're getting to the later partsof the rc series, and things do seem to be calming down. I was hoping rc5would end up smaller than rc4, and so it turned out."