"no IOMMU for Dev_Id 0" first goes to Xen Bug

User Support Hardware Issues
13

Would it be worth exploring coreboot? Is that even something I can reasonably install as an end user or does it have to come from the oem?