It looks like the solution to this problem was to turn on ACPI in the BIOS, things boot fine again. Closing the bug, full details on xen-devel list. micah --
Attachment: pgpCj6dz5qUHf.pgp Description: PGP signature