New comment by tsjk on void-packages repository

https://github.com/void-linux/void-packages/issues/39129#issuecomment-1237810232

Comment:
I've stumbled upon this as well. Took me a while to arrive to what actually was wrong...
On my agenda to troubleshoot, I'd try to just revert the firmware, or just the kernel - to see what is what. In addition I'd also try deploying the binaries from from https://github.com/raspberrypi/rpi-firmware.