[PATCH kernel-4.19 71/78] xen/pvh: correctly setup the PV EFI interface for dom0