Created attachment 135448 [details] dmesg_20171114_4_14_iommu_soft.txt, kernel boot-parameter iommu=soft