* On 19.01.2013 12:48 AM, Mihai Moldovan wrote:
> Testing further, I rebooted using iommu=off and intel_iommu=off. So far, I had
> no random crashes, but the system uptime of XXXXREPLACEMEXXXX minutes is too
> small to draw conclusions yet.

And by "XXXXREPLACEMEXXXX", I meant 50 (minutes). That's embarrassing, sorry.