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 --
pgpvC6yiQl1QI.pgp
Description: PGP signature
- Bug#603927: solved Micah Anderson
- Bug#603927: solved Ben Hutchings
