[SeaBIOS] [PATCH v7 3/3] pci: enable RedHat PCI bridges to reserve additional resources on PCI init