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