Re: [SeaBIOS] [PATCH] Make pci memory window configurable.