Re: [SeaBIOS] [PATCH RFC 3/7] Add configuration menu for the VGA ROM