[SeaBIOS] Re: [PATCH] Fix high memory zone initialization in CSM mode