Comment 89 for bug 1275116

That's right. So maybe I'm no experiencing the same problem as you. Nevertheless the crashdumps we posted in the beginning looked similar....... so I don't know.

Have you tried running virtualbox with some cpu load on both host and guest os? nothreadirqs did make a difference in the time it took before a crash occurred..