Comment 5 for bug 1852035

@Sebastien. I think the more likely root cause is that the Raspberry Pi firmware release (https://github.com/raspberrypi/firmware) consists of a 32-bit and 64-bit kernel, and a 32-bit-only userspace. For sure there are kernel modules missing (a reconciliation with the official kernel's config options may be in order?), but the larger problem may be the 32-bit Xorg shared libraries. I have doubts that just compiling the missing kernel module will fully resolve the issue.