Re: [SeaBIOS] [PATCH RFC 0/7] VGA ROM improvements