Windows 10 domU не работает после обновления xen 4.1 --› 4.8

Раньше у меня был сервер xen 4.1, который успешно запускал гостевой домен Windows (сервер 2k3, затем 10) в течение нескольких лет. После обновления до Debian 9 и xen 4.8 этот гость больше не запускается. Точнее, он запускается, но во время загрузки вылетает на экран восстановления с сообщением «Это 64-битное приложение не может быть загружено, потому что ваш компьютер не имеет 64-битного процессора».

Это файл конфигурации, который раньше работал:

    #  -*- mode: python; -*-
import os, re
arch = os.uname()[4]
arch_libdir='lib'

kernel = "/usr/lib/xen-4.1/boot/hvmloader"
builder='hvm'
memory = 10240
shadow_memory = 64 
name = "xmW10"
vcpus=4
pae=0
acpi=1
apic=1
vif = [ 'mac=00:16:3e:00:00:11, bridge=dmz, ip=213.47.212.61' ]
disk = [ 'phy:/dev/vgmirr2/lvW10,hda,w' ] 
xen_platform_pci=1
device_model='/usr/lib/xen/bin/qemu-dm'

boot="c"
sdl=0

vnc=1
vncviewer=1
vnclisten="0.0.0.0"
vncdisplay=0
vncconsole=1
vncpasswd=''

stdvga=0
serial='pty'
localtime=0
keymap='de'

Поскольку различные опции больше не поддерживаются, стало так:

builder='hvm'
memory = 10240
shadow_memory = 64 
name = "xmW10"
vcpus=4
pae=0
acpi=1
apic=1
vif = [ 'mac=00:16:3e:00:00:11, bridge=dmz, ip=213.47.212.61' ]
disk = [ 'phy:/dev/vgmirr2/lvw10,ioemu:hda,w' ,
        'file:/nodump/downloads/Win10_1703_English_x64.iso,ioemu:hdc:cdrom,r' ]
xen_platform_pci=1
device_model_version="qemu-xen"

boot="dc"
sdl=0
stdvga=0
serial='pty'
localtime=0
keymap='de'

У меня было несколько попыток с использованием параметров «device_model_override» и тому подобного, но результатом — если domU вообще запускается — неизменно является экран восстановления.

Что мне не хватает?