[Bug 424430] Xen kernel freezes machine at booting