Is it from *-24.28 kernel? I thought it's a bug that appeared in *-24.21. Try to boot with intel_iommu=off boot option.