[PATCH 4.19 72/77] xen/pvh: correctly setup the PV EFI interface for dom0