[SeaBIOS] PCI device path?