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