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