Re: [SeaBIOS] [PATCH] pci: add RedHat PCI BRIDGE capability