Originally Posted by ktbos
Outstanding! It works!! Not that I doubted that you had found the bug but for it to be as simple as just getting the new kernel is very very exciting.
The bug I debugged was definitely fixed.
The risk, of course, was that the bug you were seeing was not actually caused by the same thing, so I'm glad you tested it. Thanks for doing that.