[OpenBIOS] [PATCH] Expose PCI controller information