On Fri, Sep 16, 2022 at 07:57:59AM +0200, Jan Beulich wrote:
> ... this leads to the crash, which effectively tells us that this is
> likely yet another system where one needs to override the reboot
> method (e.g. reboot=acpi).

At least Linux, but also XenServer uses reboot=acpi by default (even on
EFI systems), can we make it default in upstream Xen? Issues with
reboot=efi are rather common, while reboot=acpi just works.

-- 
Best Regards,
Marek Marczykowski-Górecki
Invisible Things Lab