https://bugs.freedesktop.org/show_bug.cgi?id=84627
--- Comment #32 from Michel Dänzer michel@daenzer.net --- (In reply to smoki from comment #23)
Tried now what you said pure 64bit kernel packaged as amd64.deb and voila no corruption with it! Both are distro kernels from experimental and my kernels behave the same there, 32bit as i386.deb one give corruptions, 64bit and packaged as amd64.deb works fine. But hmmm, how and why those differ both are 64bit in different package or?
Is there any difference in the /boot/config-3.* file between the two packages?