[OpenBIOS] more pci info