[BACKPORT] xen/pvh: correctly setup the PV EFI interface for dom0