Created attachment 732114 [details] dmesg of same hardware iommu enabled Leap 42.2 (bios 2101) I found an running 42.2 with 4.4.74 kernel and previous bios level.