On Sun, Jul 15, 2018 at 09:22:16PM +0000, Andy Smith wrote:

Hopefully there'll be another stable kernel release soon.

Looks like a kernel package update with the fix just hit
proposed-updates so I expect the next kernel package update in
stable will have it:

   https://lists.debian.org/debian-kernel/2018/07/msg00249.html