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