> > I only tested with RHEL6.3 kernel on host. > > can you check if there is a difference on interrupt delivery between those > two? > > cat /proc/interrupts should be sufficient after some traffic has flown.
While trying to reproduce the bug, we just detected that it depends on the hardware (mainboard) you run on. Sigh :-/