https://bugs.freedesktop.org/show_bug.cgi?id=93050
--- Comment #3 from stsp@list.ru --- (In reply to Alexander Tsoy from comment #2)
These I/O page faults errors are quite annoying and delay boot for about 5 seconds. Should I open a separate bug report?
IMHO these should be reported. I had such boot-up delays due to iommu page_fault flood on HD 3870 and they are quite annoying.