@sugarfree Well, I wasn't quite sure what I did was right and I don't know the terminology too well, but I cloned the Raspberry Pi kernel, modified only the lines of code mentioned in the workaround (the file being vc4_v3d.c), then compiled and installed the kernel. It might have been just dumb luck that this worked, and my problem may have been something else entirely.
Contributions to the project are always appreciated, so if you would like to support us with a donation you can do so here.
Hosting provided by Mythic-Beasts. See the Hosting Information page for more information.