[SeaBIOS] [PATCH 1/4] pci: Implement '%pP' printf handler for 'struct pci_device' pointers