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