On Tue, 2013-06-04 at 17:32 +0200, Jonas Meurer wrote: > Just gave Linux 3.9-1-amd64 from Debian/sid a try. The issue is > reproducible with this DomU kernel. Could you post dmesg, /proc/ioports and /proc/interrupts from this kernel please? Ian.