review.coreboot.org / coreboot / bc94aeaac81b1c0a697c8a4a81859c96fc68b505 / src / soc / amd / stoneyridge / iommu.c