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.

(cherry picked from commit 454630c72556d45e401f29f56b3317c2fb0499a0)