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