Testing on i386, I suspect the problem is that we have a different gcc version building the kernel versus the one which build the dkms module.
Testing on i386, I suspect the problem is that we have a different gcc version building the kernel versus the one which build the dkms module.