[SeaBIOS] [PATCH v3 1/2] malloc: use variable for ZoneHigh size