[Bug 424430] New: Xen kernel freezes machine at booting