[PATCH 5.0 115/123] xen/pvh: correctly setup the PV EFI interface for dom0