OK, thanks. I asked it because it's possibly a different user-space thing triggering the bug, not the kernel itself. If any, we may try to build a kernel with the same config from other distros that work, and confirm whether it still works or not.