Created attachment 135768 [details] dmesg_20171127_4_15-rc1_iommu-soft.txt, boot kernel parameter iommu=soft