@pumuckel: Danke, Deine Antwort hatte sich grade mit meinem Update überschnitten :-) (siehe oben).
Hast Du noch ne Idee wie ich rausfinden kann, woher die eine verbliebene Fehlermeldung kömmen könnte?
dmar: DMAR:[DMA Read] Request device [00:1f.2] fault addr dbf42000
DMAR:[fault reason 06] PTE...