Hi,
Thanks for posting this. I came across this thread in a last ditch search on Google.
I had similar problems. IOMMU booted just fine, as long as the Nova T500 wasn't plugged in.
With it plugged in, I was getting a lot of errors into VT1, and in the logfiles ("DMAR:[fault reason 06] PTE...