[SeaBIOS] Re: SeaVGABIOS ignores preserve-memory flag