i have been using the regular kernel from the official repos for a few months and i'm no longer able to reproduce the bug.