Comment 74 for bug 204010

I've been testing my amd64 kernels with several vcpus, but have not encountered such problem.
It may be i386 specific.

According to the log, the crash happened at the PageForeignDestructor macro.
The index member of the page structure was made invalid by some reason,
but I haven't identified the reason.