[SeaBIOS] Re: [PATCH] vgabios: Fix preserve memory flag in handle_1000