[SeaBIOS] [PATCH v2] Make pci memory window configurable.