Created attachment 136522 [details] 2018_01_02_dmesg_4.15-rc6_iommu_soft.txt, booting with kernel parameter iommu=soft