I haven't had that board first hand, but if you look at page 43 of the manual it shows a screen shot of the IOMMU switch in the BIOS
I think you have a winner there if it is available to you and in your budget. Though be careful, that board needs to have BIOS version F4 or newer to support a FX CPU. You might need to have a AM3 CPU to flash the BIOS with unless it comes with the newer BIOS on it.
Try to find the GIGABYTE GA-970A-DS3 as well. it apparently has it
and should be a good amount cheaper. Though it will not have the power to overclock a FX8150...only 4+1 phase power. One of the downfalls of the FX8100 series, but left at stock, or close to it, I think it would be OK. They will need a decent motherboard. I have used the DS3 with Phenom II CPUs, but not an FX....(and there was no virtualization used so I never looked to see if it had it first hand, manual says it does though) and I've always had good luck with it.
There might be more Gigabyte boards with it too...Edited by Vagrant Storm - 10/3/12 at 5:51am