OK, thanks for confirmation. So the conclusion is that it's a generic problem of AMD IOMMU stuff on 4.12 kernel, which has been eventually fixed in the upstream.