[OpenBIOS] [PATCH][RFC] identify PCI devices