Re: [SeaBIOS] vgabios testing