[SeaBIOS] Re: [PATCH] memory: reserve more space for ZoneHigh