https://bugs.freedesktop.org/show_bug.cgi?id=84627
--- Comment #29 from Michel Dänzer michel@daenzer.net --- (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.