stand: libefi: swap /Pci() printing around

Printing device followed by interface matches, e.g., edk2.  Note that
this is only a fallback, many firmware implementations will provide the
protocol that we'll use to format device paths.

Reviewed by:	imp, tsoome
Sponsored by:	Ampere Computing
Submitted by:	Klara, Inc.
Differential Revision:	https://reviews.freebsd.org/D34539

stand/efi/libefi/devpath.c

@@ -146,8 +146,8 @@ efi_hw_dev_path(EFI_DEVICE_PATH *node, char *suffix)
 	switch (subtype) {
 	case HW_PCI_DP:
 		if (asprintf(&name, "Pci(%x,%x)%s",
-		    ((PCI_DEVICE_PATH *)node)->Function,
-		    ((PCI_DEVICE_PATH *)node)->Device, tail) < 0)
+		    ((PCI_DEVICE_PATH *)node)->Device,
+		    ((PCI_DEVICE_PATH *)node)->Function, tail) < 0)
 			name = NULL;
 		break;
 	case HW_PCCARD_DP: