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