Comment # 29 on bug 84627 from Michel Dänzer

(In reply to Nils Holland from comment #28)
> any more help needed in diagnosing this, and if so, anything I can do to help?

See comment 22. From comment 23, it sounds like it might actually be a 32-bit
toolchain issue, which somehow leaks into 64-bit kernel builds as well.

If there's any way you can run a 'real' 64-bit kernel on your distro, that's
probably the best way to avoid the problem for now.