[Bug 548010] XEN locks the machine during boot