64-битный гость HVM зависает при загрузке на Debian Lenny 64-битный гипервизор Xen

Я пытаюсь создать 64-битную гостевую машину на старом 64-битном гипервизоре Debian Lenny x86, используя HVM. Физический процессор - это первое поколение Intel i7 с поддержкой VT-x. Xen распознает поддержку VT-x со строкой (XEN) HVM: VMX включен при запуске xm dmesg.

Версия Xen согласно информации xm - 3.2.

Я попробовал использовать новейшие установочные ISO-образы Debian Squeeze (6.0) и Ubuntu Oneiric Ocelot (11.10). 64-разрядная версия x86 замораживает гостевую систему вскоре после запуска. Если я смонтирую образ установщика 32-разрядной версии x86, все будет нормально.

Как я могу это исправить?

Пользователь IRC krt в ##xen на irc.freenode.net рекомендует установить acpi = 0 в файле конфигурации гостя. Это не решило эту проблему.

Вот файл конфигурации гостя, который я сейчас использую:

arch = 'amd64'

device_model = '/usr/lib/xen-default/bin/qemu-dm'

#
#  Kernel + memory size
#
kernel      = '/usr/lib/xen-default/boot/hvmloader'

builder = 'hvm'
acpi = 0
#xen_platform_pci = 0

memory      = 1024
shadow_memory = 8

#
#  Disk device(s).
#
#root        = '/dev/sda2 ro'
disk        = [
                  'file:/var/lib/libvirt/images/ubuntu-11.10-desktop-amd64.iso,xvdc:cdrom,r',
                  'phy:/dev/system/fraumann-root,xvda,w',
              ]

# boot on floppy (a), hard disk (c) or CD-ROM (d)
# default: hard disk, cd-rom, floppy
boot = 'dc'

#
#  Hostname
#
name        = 'fraumann'

#
#  Networking
#
vif         = [ 'ip=1.2.3.4,mac=00:16:3E:9F:3C:31' ] # IP changed for the public

sdl = 0
vnc = 1
vnclisten = 'localhost'
vncconsole = 1
stdvga = 0
serial = 'pty'
usbdevice = 'tablet'

#
#  Behaviour
#
on_poweroff = 'destroy'
on_reboot   = 'restart'
on_crash    = 'restart'

vcpus = 4
extra = 'xencons=tty1'