Re: [SeaBIOS] [PATCH 2/5] bochsvga: handle vmware vga.