Kernel prepatch 5.13-rc6

The 5.13-rc6 kernel prepatch is out fortesting. "Nothing particularly special to say about this - rc6 iscertainly smaller than rc5 was, so we're moving in the rightdirection".