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