[PATCH 5.1 122/128] xen/pvh: correctly setup the PV EFI interface for dom0