[SeaBIOS] [PATCH 02/10] Find all pci devices at startup and cache them for future use.