On Wed, 4 Dec 2013 21:57:11 +1100 Geoffrey McRae <geoff at spacevs.com> wrote: > The option is titled "MMIO", thats it. There is an additional option, > "MMIO Mode" which is set to "64MB". > I am sorry, this is my dyslexia playing up again... it is actually: "IOMMU" and "IOMMU Mode"