Where is BOOTX64.cfg?

Thanks for your reply. I did indeed already try that.
Fortunately, I have been able to get it the installer to work by adding “dom0_max_vcpus=1 dom0_vcpus_pin” to the Xen line and “nomodeset=0” to the Linux kernel line.