output: Fix %pP (PCI device) format string output on 64-bit firmware

Signed-off-by: Helge Deller <deller@gmx.de>
diff --git a/src/output.c b/src/output.c
index b497f1c..d8338e3 100644
--- a/src/output.c
+++ b/src/output.c
@@ -313,7 +313,11 @@
 #endif
             if (!MODESEGMENT && GET_GLOBAL(*(u8*)(n+1)) == 'P') {
                 // %pP is 'struct pci_device' printer
+#ifdef __LP64__
+                put_pci_device(action, (void*)val64);
+#else
                 put_pci_device(action, (void*)val);
+#endif
                 n++;
                 break;
             }