Re: [SeaBIOS] VMWare VGA BIOS planned