What me really wonders:
- It is for sure .config is the same as aptosid?
- Patchlevel seems to be equal with slh ...
- Is there a somehow different initramfs, if so, I wonder how, but our keyboard usb-hid bug just showed there might be issues ...
- Last possible cause: different compiler optimization level, which is an issue often heard of with the young gcc-4.7 compiler!
As ever, there should be - as last resort - the last stable 3.4.7 kernel! With a slightly higher RCU-Boost priority that kernel is BFS-424-ck3 patchable!