Re: [SeaBIOS] [PATCH 1/3] config: reserve more high memory (for ramfb)