I also upgraded from 12 to 13. The problem seems to reappear every time the kernel is upgraded. The fix works.
I also upgraded from 12 to 13. The problem seems to reappear every time the kernel is upgraded. The fix works.