[Bug 398129] 32-bit dom0 / 64-bit hypervisor combination won't boot