[SeaBIOS] [PATCH 10/10] Replace PCIPaths code with struct pci_device.