Comment 1 for bug 1081054

Stefano, it would help if you could add details about the circumstances this problem is triggering. The fix prevents initializing platform_pci if not a Xen guest, so I assume this would be the case for running a kernel in dom0. But I seem unable to see a crash when doing so.