Erratum 69 for the Intel X58 chipset states that (for the context of VT-d) the BIOS should disable that chipset's interrupt remapping capability.
However, the current BIOS SOX5810J.86A.5600.2013.0729.2250 does not do so.
When booting a current Linux kernel (here: 3.10.7), this problem is detected and corrected during boot:
[ 0.009193] WARNING: at drivers/iommu/intel_irq_remapping.c:533 intel_irq_remapping_supported+0x34/0×74()
[ 0.009333] This system BIOS has enabled interrupt remapping
on a chipset that contains an erratum making that
feature unstable. To maintain system stability
interrupt remapping is being disabled. Please
contact your BIOS vendor for an update
[ 0.009622] Modules linked in:
[ 0.009739] CPU: 0 PID: 1 Comm: swapper/0 Not tainted 3.10.7-gentoo #2
[ 0.009833] Hardware name: /DX58SO, BIOS SOX5810J.86A.5600.2013.0729.2250 07/29/2013
Further sources of information on this topic:
Jmbreuer, let me check on this.