Is that a standard (non-realtime) kernel? If not, can you also test a standard kernel configuration (linux-image-3.2.0-3-amd64)?
Identical behaviour on linux-image-3.2.0-3-amd64
Please try booting with the extra kernel parameters: memory_corruption_check=1 memory_corruption_check_size=640K memory_corruption_check_period=5 Does that avoid the problem, and if so what does the kernel log show after you plug in the device?
It seems that X86_CHECK_BIOS_CORRUPTION is disabled in the Debian kernels. I'm compiling a custom one with it enabled and will post any significant results.