Did you update BIOS to the recent version? I'm asking this because there were some issues on some Ryzen boards that showed similar IOMMU page fault errors, and got fixed by BIOS update. So just to be sure... And one more favor: could you try kernel-vanilla-4.12.* package from Leap 15.0, and check whether you get the same issue? It's to confirm whether the issue is brought by our own patches or not. Thanks.