Originally Posted by netllama
What kind of errors was the FC6 kernel reporting? Have you considered the possibility that perhaps you have a faulty motherboard?
This is highly unlikely considering the number of people that suffer from this issue.
Another reason why should our two workarounds (iommu=soft and BIOS memholemapping=disabled) solve the issue on a faulty board?