Comment # 25 on bug 84627 from Michel Dänzer

I think you should work with the Debian kernel maintainers to isolate what
exactly makes the difference between the two kernel packages.