Re: [SeaBIOS] [PATCH v6 0/3] Red Hat PCI bridge resource reserve capability