Re: [SeaBIOS] [PATCH] Seabios: allow mapping of multiple PCI option ROMs to one