[SeaBIOS] [PATCH] Increase maximum size of permanent high memory area.