OK, I think I have it working now... For both my own reference and anyone else who comes across this, here's what I've done.
First, I enabled "DMA Virtualisation" in the BIOS. This seems to be what Dell have labelled IOMMU.
Next, as documented in this page, I ran (though with the corrected PCI...