Re: [SeaBIOS] [PATCH] fw/pci: do not automatically allocate IO region for PCIe bridges