Hey Eric, This is a pretty late response to the thread, but in case you're curious, since Ubuntu forgot to backport this (I already emailed them about it), I actually experienced a set of boxes that hit this bug in the wild and were crashing every 2 weeks or so, when under highload. It's pretty amazing that syzkaller unearthed this, resulting in a nice test case, making it possible to debug and fix the error. Otherwise it'd be a real heisenbug.
So, thanks. Jason
