Based on comments in #7 I'm marking this as fix released (though I suspect it was never a kernel bug).
Based on comments in #7 I'm marking this as fix released (though I suspect it was never a kernel bug).