[x86] Fix booting as Xen dom0
Hi team,
see commit. If 4.19 is now going to unstable and testing in Debian, it needs this patch already, or we will have unhappy Xen users with unbootable systems.
This patch is in tip/x86/urgent, not in 4.20-rc yet. It will be in 4.19, so when it appears it can be dropped again.
I tested this patch on top of the 4.19.5 Debian package.
Thanks, Hans