[SeaBIOS] Re: [PATCH v3 2/2] malloc: use large ZoneHigh when there is enough memory